Модифікація мереж Петрі з антисипацією по позиції
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...
Збережено в:
| Видавець: | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
|---|---|
| Дата: | 2023 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
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| id |
journaliasakpiua-article-279774 |
|---|---|
| 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 |
| institution |
System research and information technologies |
| collection |
OJS |
| language |
Ukrainian |
| topic |
Petri net anticipation transition rule reachability graph coverability tree мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття |
| spellingShingle |
Petri net anticipation transition rule reachability graph coverability tree мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття Statkevych, Vitalii Модифікація мереж Петрі з антисипацією по позиції |
| topic_facet |
Petri net anticipation transition rule reachability graph coverability tree мережа Петрі антиcипація умова запуску переходу граф досяжності дерево покриття |
| format |
Article |
| author |
Statkevych, Vitalii |
| author_facet |
Statkevych, Vitalii |
| author_sort |
Statkevych, Vitalii |
| title |
Модифікація мереж Петрі з антисипацією по позиції |
| title_short |
Модифікація мереж Петрі з антисипацією по позиції |
| title_full |
Модифікація мереж Петрі з антисипацією по позиції |
| title_fullStr |
Модифікація мереж Петрі з антисипацією по позиції |
| title_full_unstemmed |
Модифікація мереж Петрі з антисипацією по позиції |
| title_sort |
модифікація мереж петрі з антисипацією по позиції |
| title_alt |
A modification of Petri nets with anticipation on a position |
| 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. |
| publisher |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| publishDate |
2023 |
| 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 |
| first_indexed |
2024-04-08T14:50:31Z |
| last_indexed |
2024-04-08T14:50:31Z |
| _version_ |
1804810498470838272 |