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

  Повний текст PDF - 481.064 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"