Розглянуто одне з розширень формалізму мереж Петрі - компонентна мережа Петрі з інгібіторними дугами (CN1-мережа). Визначено ряд понять, пов'язаних зі структурою і функціонуванням CN1-мережі. Запропоновано аналіз структурних властивостей CN1-мережі проводити за допомогою фундаментального рівняння. Надано оцінку швидкості обчислень знаходження структурних інваріантів під час моделювання досліджуваної системи CN1-мережою.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"