Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій

Скорочена інформація про документ
dc.contributor.authorСтаткевич, В. М.
dc.date.accessioned2024-12-05T14:40:00Z
dc.date.available2024-12-05T14:40:00Z
dc.date.issued2024
dc.description.abstractЗапропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів j k t t і k j t t .
dc.description.abstractotherWe propose extending the classic Petri nets and considering D. Dubois’s strong anticipation in two ways. We propose to add a new term into a transition rule that contains a real-valued function of a new marking in a certain place (strong place anticipation) or of a new marking in the input place of a certain transition (an example of strong transition anticipation). Any integer constraints are not applied either to the weight function or to the marking in contrast to the classic Petri nets (as in continuous Petri nets). The execution of the mentioned nets is investigated, and important properties are stated. Several examples of reachability graphs are given, and differences from classic Petri nets are formulated. We also investigate the conditions of the equality of the markings, which are obtained by firing the sequences of transitions j k t t and k j t t .
dc.format.pagerangeС. 122-133
dc.identifier.citationСтаткевич, В. М. Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2024. – № 1. – С. 122-133. – Бібліогр.: 12 назв.
dc.identifier.doihttps://doi.org/10.20535/SRIT.2308-8893.2024.1.09
dc.identifier.orcid0000-0001-5210-9890
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/71033
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.sourceСистемні дослідження та інформаційні технології : міжнародний науково-технічний журнал, № 1
dc.subjectмережа Петрі
dc.subjectсильна антиcипація
dc.subjectправило запуску переходу
dc.subjectграф досяжності
dc.subjectцілочислова функція
dc.subjectфункція наступного стану
dc.subjectпослідовність запусків переходів
dc.subjectгранична досяжність
dc.subjectPetri net
dc.subjectstrong anticipation
dc.subjecttransition rule
dc.subjectreachability graph
dc.subjectrealvalued function
dc.subjectnext-state function
dc.subjectsequence of transition firings
dc.subjectlimit reachability
dc.subject.udc519.711.7
dc.titleКонструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
dc.title.alternativeDesigning petri nets with strong place and transition anticipation for real-valued functions
dc.typeArticle

Файли

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

Зібрання

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