2024
Постійне посилання на фонд
Переглянути
Перегляд 2024 за Ключові слова "519.711.7"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ Відкритий доступ Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій(КПІ ім. Ігоря Сікорського, 2024) Статкевич, В. М.Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів j k t t і k j t t .