Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
Вантажиться...
Дата
2024
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів j k t t і k j t t .
Опис
Ключові слова
мережа Петрі, сильна антиcипація, правило запуску переходу, граф досяжності, цілочислова функція, функція наступного стану, послідовність запусків переходів, гранична досяжність, Petri net, strong anticipation, transition rule, reachability graph, realvalued function, next-state function, sequence of transition firings, limit reachability
Бібліографічний опис
Статкевич, В. М. Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2024. – № 1. – С. 122-133. – Бібліогр.: 12 назв.