Модифікація мереж Петрі з антисипацією по позиції

• Дата: 2023
• Автор: Statkevych, Vitalii
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2023
• Теми: Petri net; anticipation; transition rule; reachability graph; coverability tree; мережа Петрі; антиcипація; умова запуску переходу; граф досяжності; дерево покриття
• Онлайн доступ: http://journal.iasa.kpi.ua/article/view/279774
• Назва журналу: System research and information technologies

We propose a modification of Petri nets with strong anticipation on a position. The extension modifies a transition rule by adding a new term that contains an integer function of the new marking in the position. The differences from classic Petri nets are found; for example, the set of markings that...