Модифікація мереж Петрі з антисипацією по позиції
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...
Збережено в:
| Дата: | 2023 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2023
|
| Теми: | |
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/279774 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologies| _version_ | 1856543572868726784 |
|---|---|
| author | Statkevych, Vitalii |
| author_facet | Statkevych, Vitalii |
| author_sort | Statkevych, Vitalii |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2023-05-24T21:28:17Z |
| description | 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 are reachable from a current marking by firing the enabled transition can either be empty or contain more than one marking. We consider the construction of a reachability graph and a coverability tree. We give the conditions for the existence of the coverability tree and propose the algorithm for constructing the coverability tree that generalizes the well-known classic algorithm. The main ideas and constructions are illustrated in the examples. |
| first_indexed | 2025-07-17T10:28:09Z |
| format | Article |
| id | journaliasakpiua-article-279774 |
| institution | System research and information technologies |
| language | Ukrainian |
| last_indexed | 2025-07-17T10:28:09Z |
| publishDate | 2023 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| record_format | ojs |
| spelling | journaliasakpiua-article-2797742023-05-24T21:28:17Z A modification of Petri nets with anticipation on a position Модифікація мереж Петрі з антисипацією по позиції Statkevych, Vitalii Petri net anticipation transition rule reachability graph coverability tree мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття 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 are reachable from a current marking by firing the enabled transition can either be empty or contain more than one marking. We consider the construction of a reachability graph and a coverability tree. We give the conditions for the existence of the coverability tree and propose the algorithm for constructing the coverability tree that generalizes the well-known classic algorithm. The main ideas and constructions are illustrated in the examples. Запропоновано модифікацію мережі Петрі з урахуванням сильної антисипації по позиції. Розширення реалізовано за допомогою введення в правило запуску переходу нового доданка, який містить цілочислову функцію від нової кількості фішок у позиції. Знайдено важливі відмінності від класичних мереж Петрі, наприклад, множина маркувань, досяжних з поточного маркування запуском дозволеного переходу, може бути як порожньою, так і містити більше одного маркування. Розглянуто питання побудови графу досяжності та дерева покриття. Указано умови, за яких дерево покриття існує, а для його побудови запропоновано алгоритм, який узагальнює відомий класичний алгоритм. Основні ідеї та конструкції проілюстровано на прикладах. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2023-03-30 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/279774 10.20535/SRIT.2308-8893.2023.1.08 System research and information technologies; No. 1 (2023); 102-112 Системные исследования и информационные технологии; № 1 (2023); 102-112 Системні дослідження та інформаційні технології; № 1 (2023); 102-112 2308-8893 1681-6048 uk http://journal.iasa.kpi.ua/article/view/279774/274365 |
| spellingShingle | мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття Statkevych, Vitalii Модифікація мереж Петрі з антисипацією по позиції |
| title | Модифікація мереж Петрі з антисипацією по позиції |
| title_alt | A modification of Petri nets with anticipation on a position |
| title_full | Модифікація мереж Петрі з антисипацією по позиції |
| title_fullStr | Модифікація мереж Петрі з антисипацією по позиції |
| title_full_unstemmed | Модифікація мереж Петрі з антисипацією по позиції |
| title_short | Модифікація мереж Петрі з антисипацією по позиції |
| title_sort | модифікація мереж петрі з антисипацією по позиції |
| topic | мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття |
| topic_facet | Petri net anticipation transition rule reachability graph coverability tree мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття |
| url | http://journal.iasa.kpi.ua/article/view/279774 |
| work_keys_str_mv | AT statkevychvitalii amodificationofpetrinetswithanticipationonaposition AT statkevychvitalii modifíkacíâmerežpetrízantisipacíêûpopozicíí AT statkevychvitalii modificationofpetrinetswithanticipationonaposition |