Open AccessCPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Author(s) -
Леонид Владимирович Дворянский,
Irina A. Lomazova
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2012-5-115-130
Subject(s) - petri net , computer science , formalism (music) , process architecture , stochastic petri net , distributed computing , theoretical computer science , programming language , art , musical , visual arts
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 with dynamic structure in a natural way. Currently, there is no tool for supporting NP-nets simulation and analysis. The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.