Программная или аппаратная система представлена в виде модели посредством формальной спецификации с помощью сети Петри (СП). Полученный продукт описывает поведение и структуру данной системы, и может быть проанализирован, верифицирован, а также использован для установления требуемых свойств системы. Описано применение формализма СП к исследованию некоторых свойств телефонной системы, основанное на построении и анализе S- и Т-инвариантов.

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