CPN tools-assisted simulation and verification of nested Petri nets |
| |
| Authors: | L W Dworzański I A Lomazova |
| |
| Affiliation: | 1. National Research University Higher School of Economics, Moscow, Russia
2. Program Systems Institute of the Russian Academy of Sciences, Pereslavl-Zalessky, Russia
|
| |
| Abstract: | Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently there is no tool support for NP-nets simulation and analysis. The paper proposes translation of NP-nets into colored Petri nets and using CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
