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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Yaroslavl State University
2015-03-01
|
| Schriftenreihe: | Моделирование и анализ информационных систем |
| Schlagworte: | |
| Online-Zugang: | https://www.mais-journal.ru/jour/article/view/61 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|