О способах построения и использовании компонентной сети Петри с ингибиторными дугами для анализа её исходной детальной модели Петри

Приведјн алгоритм построения компонентной сети Петри с ингибиторными дугами (CNI-сети). Возможные способы построения CNI-сети разобраны на примерах.  Установлен факт использования компонентного анализа CNI-сети для исследования свойств детальной модели исследуемой системы.