Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кіль...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2024-03-01
|
| Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/304607 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів tjtk і tktj. |
|---|---|
| ISSN: | 1681-6048 2308-8893 |