Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens / Glomozda, D. K., Glibovets, N. N., Maksimets, A. N. (2018)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000889054
Cybernetics and Systems Analysis   А - 2019 /  Issue (2018, Т. 54, № 4)
Гломозда Д. К., Глибовец Н. Н., Максимец А. Н.
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Бібліографічний опис:
Гломозда Д. К., Глибовец Н. Н., Максимец А. Н. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками. Кибернетика и системный анализ. 2018. Т. 54, № 4. С. 151-163. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000889054 |  Cybernetics and Systems Analysis / Issue (2018, 54 (4))
Glomozda D. K., Glibovets N. N., Maksimets A. N.
Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
Cite:
Glomozda, D. K., Glibovets, N. N., Maksimets, A. N. (2018). Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens. Cybernetics and Systems Analysis, 54 (4), 151-163. http://jnas.nbuv.gov.ua/article/UJRN-0000889054 [In Russian]. | |
|
|
PDF