Статкевич, В. М.2024-12-052024-12-052024Статкевич, В. М. Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2024. – № 1. – С. 122-133. – Бібліогр.: 12 назв.https://ela.kpi.ua/handle/123456789/71033Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів j k t t і k j t t .ukмережа Петрісильна антиcипаціяправило запуску переходуграф досяжностіцілочислова функціяфункція наступного станупослідовність запусків переходівгранична досяжністьPetri netstrong anticipationtransition rulereachability graphrealvalued functionnext-state functionsequence of transition firingslimit reachabilityArticleС. 122-133https://doi.org/10.20535/SRIT.2308-8893.2024.1.09519.711.70000-0001-5210-9890