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

Журнал: 
Страница: 
45
УДК: 
004.021: 004.312.4: 004.421.6: 004.414.2
Приведјн алгоритм построения компонентной сети Петри с ингибиторными дугами (CNI-сети). Возможные способы построения CNI-сети разобраны на примерах.  Установлен факт использования компонентного анализа CNI-сети для исследования свойств детальной модели исследуемой системы. 
info_eng: 
The algorithm of creation of a component Petri net with ingibitor arcs (CNI-nets) is resulted. Possible methods of creation CNI-nets are considered on examples. An established fact of usage of the component analysis of CNI-nets for research of properties of detailed model of researched system.