This article is cited in 1 scientific paper (total in 1 paper)
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
L. W. Dworzánskiab, I. A. Lomazovaab
a National Research University "Higher School of Economics"
b Program Systems Institute of RAS
Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “nets-within-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.
nested Petri nets, colored Petri nets, simulation, verification, reachability graph.
PDF file (545 kB)
L. W. Dworzánski, I. A. Lomazova, “CPN Tools-Assisted Simulation and Verification of Nested Petri Nets”, Model. Anal. Inform. Sist., 19:5 (2012), 115–130
Citation in format AMSBIB
\by L.~W.~Dworz\'anski, I.~A.~Lomazova
\paper CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
This publication is cited in the following articles:
A. V. Markov, A. A. Voevoda, “Vlozhennye seti Petri i nagruzhennye metki: raspredelennaya sistema i rekursiya”, Vestn. Astrakhan. gos. tekhn. un-ta. Ser. upravlenie, vychisl. tekhn. inform., 2015, no. 2, 23–31
|Number of views:|