CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems wit...
| Main Authors: | , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Yaroslavl State University
2015-03-01
|
| 丛编: | Моделирование и анализ информационных систем |
| 主题: | |
| 在线阅读: | https://www.mais-journal.ru/jour/article/view/61 |