Анотація: Представлен метод контроля корректности графа сетевой модели, описывающей порядок и основные правила использования ресурсов. Контроль корректности графа сетевой модели заключается в анализе его на непротиворечивость и полноту описания. Анализ полноты сетевой модели предполагает проверку возможности достижения целевой вершины при любом логически истинном наборе начальных условий. При этом определяются неопределенные по условиям достижения вершины – изолированные, тупиковые и висячие. Анализ непротиворечивости графа сетевой модели заключается в нахождении контуров графа. Для этого выделяются граничные вершины и составляется логическая цепочка образования контура.
ENG
