Описаны особенности реализации алгоритма получения минимального порождающего множества решений системы линейных однородных диофантовых уравнений в множестве натуральных чисел (усеченного множества решений, или TSS). Предлагаемый метод эффективен при анализе сетей Петри, в частности, для нахождения S- и T-инвариантов.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"