Модифікація мереж Петрі з антисипацією по позиції
Запропоновано модифікацію мережі Петрі з урахуванням сильної антисипації по позиції. Розширення реалізовано за допомогою введення в правило запуску переходу нового доданка, який містить цілочислову функцію від нової кількості фішок у позиції. Знайдено важливі відмінності від класичних мереж Петрі, н...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2023-03-01
|
| Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/279774 |
| Summary: | Запропоновано модифікацію мережі Петрі з урахуванням сильної антисипації по позиції. Розширення реалізовано за допомогою введення в правило запуску переходу нового доданка, який містить цілочислову функцію від нової кількості фішок у позиції. Знайдено важливі відмінності від класичних мереж Петрі, наприклад, множина маркувань, досяжних з поточного маркування запуском дозволеного переходу, може бути як порожньою, так і містити більше одного маркування. Розглянуто питання побудови графу досяжності та дерева покриття. Указано умови, за яких дерево покриття існує, а для його побудови запропоновано алгоритм, який узагальнює відомий класичний алгоритм. Основні ідеї та конструкції проілюстровано на прикладах. |
|---|---|
| ISSN: | 1681-6048 2308-8893 |