Розглядається одне з розширень формалізму мереж Петрі - компонентна мережа Петрі з інгібіторними дугами (CN[нижній індекс І]-мережа). Визначається ряд понять, пов"язаних із структурою і функціонуванням CN[нижній індекс І]-мережі. Пропонується аналіз структурних властивостей CN[нижній індекс І]-мережі проводити за допомогою фундаментального рівняння. Дається оцінка швидкості обчислень знаходження структурних інваріантів при моделюванні досліджуваної системи CN[нижній індекс І]-мережою.
One of expansions of formalism of Petri Nets is examined - a componental Petri Net with inhibitory arcs (CN[lower index I]-net). A number of concepts, related to the structure and functioning of CN[lower index I]-net is determined. The author suggests to conduct analysis of structural properties of CN[lower index I]-net by means of fundamental equalization. The estimation of calculation speed of finding of structural invariants is given at the modelling of the investigated system by CN[lower index I]-net.
