Статкевич, В.М.2023-07-132023-07-132023Статкевич, В.М. Модифікація мереж петрі з антисипацією по позиції / Статкевич В.М. // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2023. – № 1. – С. 102-112. – Бібліогр.: 15 назв.1681–6048https://ela.kpi.ua/handle/123456789/58078Запропоновано модифікацію мережі Петрі з урахуванням сильної антисипації по позиції. Розширення реалізовано за допомогою введення в правило запуску переходу нового доданка, який містить цілочислову функцію від нової кількості фішок у позиції. Знайдено важливі відмінності від класичних мереж Петрі, наприклад, множина маркувань, досяжних з поточного маркування запуском дозволеного переходу, може бути як порожньою, так і містити більше одного маркування. Розглянуто питання побудови графу досяжності та дерева покриття. Указано умови, за яких дерево покриття існує, а для його побудови запропоновано алгоритм, який узагальнює відомий класичний алгоритм. Основні ідеї та конструкції проілюстровано на прикладах.ukмережа Петріантиcипаціяумова запуску переходуграф досяжностідерево покриттяPetri netanticipationtransition rulereachability graphcoverability treeArticlePp. 102-112https://doi.org/10.20535/SRIT.2308-8893.2023.1.08519.711.70000-0001-5210-9890