Рассмотрено применение ТSS-алгоритма построения минимального порождающего множества решений системы линейных диофантовых уравнений к анализу сетей Петри. В частности, с помощью этого алгоритма строятся минимальные множества инвариантов сетей Петри.

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