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

The algorithm of creation of a component Petri net with ingibitor arcs ($CN_I$ -nets) is resulted. Possible methods of creation $CN_I$ -nets are considered on examples. An established fact of usage of the component analysis of $CN_I$ -nets for research of properties of detailed model of researched system.

UDC: 
004.021: 004.312.4: 004.421.6: 004.414.2