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

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.