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

• Date: 2024
• Main Author: Statkevych, Vitalii
• Format: Article
• Language: Ukrainian
• Published: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2024
• Subjects: мережа Петрі; сильна антиcипація; правило запуску переходу; граф досяжності; цілочислова функція; функція наступного стану; послідовність запусків переходів; гранична досяжність
• Online Access: http://journal.iasa.kpi.ua/article/view/304607
• Journal Title: 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...