Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
We propose extending the classic Petri nets and considering D. Dubois’s strong anticipation in two ways. We propose to add a new term into a transition rule that contains a real-valued function of a new marking in a certain place (strong place anticipation) or of a new marking in the input place of...
Збережено в:
| Дата: | 2024 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2024
|
| Теми: | |
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/304607 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologies| id |
journaliasakpiua-article-304607 |
|---|---|
| record_format |
ojs |
| spelling |
journaliasakpiua-article-3046072024-05-23T07:09:36Z Designing Petri nets with strong place and transition anticipation for real-valued functions Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій Statkevych, Vitalii мережа Петрі сильна антиcипація правило запуску переходу граф досяжності цілочислова функція функція наступного стану послідовність запусків переходів гранична досяжність Petri net strong anticipation transition rule reachability graph real-valued function next-state function sequence of transition firings limit reachability We propose extending the classic Petri nets and considering D. Dubois’s strong anticipation in two ways. We propose to add a new term into a transition rule that contains a real-valued function of a new marking in a certain place (strong place anticipation) or of a new marking in the input place of a certain transition (an example of strong transition anticipation). Any integer constraints are not applied either to the weight function or to the marking in contrast to the classic Petri nets (as in continuous Petri nets). The execution of the mentioned nets is investigated, and important properties are stated. Several examples of reachability graphs are given, and differences from classic Petri nets are formulated. We also investigate the conditions of the equality of the markings, which are obtained by firing the sequences of transitions tjtk and tktj. Запропоновано розширити класичні мережі Петрі та врахувати сильну антисипацію в сенсі Д. Дюбуа двома способами. Пропонується ввести в правило запуску переходу новий доданок, який містить дійснозначну функцію від нової кількості фішок у даній позиції (сильна антисипація за позицією) та від нової кількості фішок у вхідній позиції для даного переходу (приклад сильної антисипації за переходом). На відміну від класичних мереж Петрі умови цілочисловості вагової функції та цілочисловості маркування не накладаємо аналогічно неперервним мережам Петрі. Розглянуто виконання таких мереж, указано важливі властивості, для декількох прикладів побудовано графи досяжності та сформульовано відмінності порівняно з класичними мережами Петрі. Також досліджено умови виконання рівності маркувань для послідовностей запусків переходів tjtk і tktj. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2024-03-29 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/304607 10.20535/SRIT.2308-8893.2024.1.09 System research and information technologies; No. 1 (2024); 122-133 Системные исследования и информационные технологии; № 1 (2024); 122-133 Системні дослідження та інформаційні технології; № 1 (2024); 122-133 2308-8893 1681-6048 uk http://journal.iasa.kpi.ua/article/view/304607/296434 |
| institution |
System research and information technologies |
| collection |
OJS |
| language |
Ukrainian |
| topic |
мережа Петрі сильна антиcипація правило запуску переходу граф досяжності цілочислова функція функція наступного стану послідовність запусків переходів гранична досяжність Petri net strong anticipation transition rule reachability graph real-valued function next-state function sequence of transition firings limit reachability |
| spellingShingle |
мережа Петрі сильна антиcипація правило запуску переходу граф досяжності цілочислова функція функція наступного стану послідовність запусків переходів гранична досяжність Petri net strong anticipation transition rule reachability graph real-valued function next-state function sequence of transition firings limit reachability Statkevych, Vitalii Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| topic_facet |
мережа Петрі сильна антиcипація правило запуску переходу граф досяжності цілочислова функція функція наступного стану послідовність запусків переходів гранична досяжність Petri net strong anticipation transition rule reachability graph real-valued function next-state function sequence of transition firings limit reachability |
| format |
Article |
| author |
Statkevych, Vitalii |
| author_facet |
Statkevych, Vitalii |
| author_sort |
Statkevych, Vitalii |
| title |
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_short |
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_full |
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_fullStr |
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_full_unstemmed |
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_sort |
конструкції мереж петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій |
| title_alt |
Designing Petri nets with strong place and transition anticipation for real-valued functions |
| description |
We propose extending the classic Petri nets and considering D. Dubois’s strong anticipation in two ways. We propose to add a new term into a transition rule that contains a real-valued function of a new marking in a certain place (strong place anticipation) or of a new marking in the input place of a certain transition (an example of strong transition anticipation). Any integer constraints are not applied either to the weight function or to the marking in contrast to the classic Petri nets (as in continuous Petri nets). The execution of the mentioned nets is investigated, and important properties are stated. Several examples of reachability graphs are given, and differences from classic Petri nets are formulated. We also investigate the conditions of the equality of the markings, which are obtained by firing the sequences of transitions tjtk and tktj. |
| publisher |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| publishDate |
2024 |
| url |
http://journal.iasa.kpi.ua/article/view/304607 |
| work_keys_str_mv |
AT statkevychvitalii designingpetrinetswithstrongplaceandtransitionanticipationforrealvaluedfunctions AT statkevychvitalii konstrukcíímerežpetríízsilʹnoûantisipacíêûzapozicíêûtazaperehodomuvipadkudíjsnihfunkcíj |
| first_indexed |
2024-05-23T04:02:35Z |
| last_indexed |
2024-05-24T04:01:35Z |
| _version_ |
1807062286948368384 |