інтернет-адреса сторінки:
http://jnas.nbuv.gov.ua/article/UJRN-0000889054
Кибернетика и системный анализ 
А - 2019 /
Випуск (2018, Т. 54, № 4)
Гломозда Д. К., Глибовец Н. Н., Максимец А. Н.
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Бібліографічний опис:
Гломозда Д. К., Глибовец Н. Н., Максимец А. Н. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками. Кибернетика и системный анализ. 2018. Т. 54, № 4. С. 151-163. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000889054
PDF