Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій

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

We propose extending the classic Petri nets and considering D. Dubois’s strong anticipation in two ways. We propose to add a new term into a transition rule that contains a real-valued function of a new marking in a certain place (strong place anticipation) or of a new marking in the input place of...