Automatic Control and Computer Sciences

, Volume 47, Issue 7, pp 393–402

CPN tools-assisted simulation and verification of nested Petri nets

Article

DOI: 10.3103/S0146411613070201

Cite this article as:
Dworzański, L.W. & Lomazova, I.A. Aut. Control Comp. Sci. (2013) 47: 393. doi:10.3103/S0146411613070201

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

nested Petri nets colored Petri nets simulation verification 

Copyright information

© Allerton Press, Inc. 2013

Authors and Affiliations

  1. 1.National Research University Higher School of EconomicsMoscowRussia
  2. 2.Program Systems Institute of the Russian Academy of SciencesPereslavl-ZalesskyRussia

Personalised recommendations