Модифікація мереж Петрі з антисипацією по позиції

Скорочена інформація про документ
dc.contributor.authorСтаткевич, В.М.
dc.date.accessioned2023-07-13T13:18:34Z
dc.date.available2023-07-13T13:18:34Z
dc.date.issued2023
dc.description.abstractЗапропоновано модифікацію мережі Петрі з урахуванням сильної антисипації по позиції. Розширення реалізовано за допомогою введення в правило запуску переходу нового доданка, який містить цілочислову функцію від нової кількості фішок у позиції. Знайдено важливі відмінності від класичних мереж Петрі, наприклад, множина маркувань, досяжних з поточного маркування запуском дозволеного переходу, може бути як порожньою, так і містити більше одного маркування. Розглянуто питання побудови графу досяжності та дерева покриття. Указано умови, за яких дерево покриття існує, а для його побудови запропоновано алгоритм, який узагальнює відомий класичний алгоритм. Основні ідеї та конструкції проілюстровано на прикладах.uk
dc.description.abstractotherWe 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.uk
dc.format.pagerangePp. 102-112uk
dc.identifier.citationСтаткевич, В.М. Модифікація мереж петрі з антисипацією по позиції / Статкевич В.М. // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2023. – № 1. – С. 102-112. – Бібліогр.: 15 назв.uk
dc.identifier.doihttps://doi.org/10.20535/SRIT.2308-8893.2023.1.08
dc.identifier.issn1681–6048
dc.identifier.orcid0000-0001-5210-9890uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/58078
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.relation.ispartofСистемні дослідження та інформаційні технології : міжнародний науково-технічний журнал, № 1uk
dc.subjectмережа Петріuk
dc.subjectантиcипаціяuk
dc.subjectумова запуску переходуuk
dc.subjectграф досяжностіuk
dc.subjectдерево покриттяuk
dc.subjectPetri netuk
dc.subjectanticipationuk
dc.subjecttransition ruleuk
dc.subjectreachability graphuk
dc.subjectcoverability treeuk
dc.subject.udc519.711.7uk
dc.titleМодифікація мереж Петрі з антисипацією по позиціїuk
dc.title.alternativeA modification of Petri nets with anticipation on a positionuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
279774-645082-1-10-20230520.pdf
Розмір:
307.33 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 1