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

Вантажиться...
Ескіз

Дата

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 назв.