Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Structural Traps of Nested Petri nets

Abstract : The nested Petri nets (NP-nets) are a nets-within-nets formalism convenient for modelling systems that consist of distributed mobile agents with individual behaviour. The expressiveness of the NP-nets formalism is greater than that of classical place/transition nets; and, the formalism allows to model open multiagent systems with agents being introduced, eliminated, and cloned. Several verification methods based on structural analysis and model checking techniques were developed for the formalism. But one of the basic structural methods for Petri nets analysis-traps-was not studied for NP-nets yet. In this paper we introduce NP-nets traps, study how to find them, and illustrate the analysis technique with a system of mobile agents.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Leonid Dworzanski Connect in order to contact the contributor
Submitted on : Monday, December 16, 2019 - 9:28:24 PM
Last modification on : Friday, January 7, 2022 - 9:52:02 AM
Long-term archiving on: : Tuesday, March 17, 2020 - 10:40:44 PM


Files produced by the author(s)


  • HAL Id : hal-02415058, version 1



Leonid W. Dworzanski. Structural Traps of Nested Petri nets. 2019. ⟨hal-02415058⟩



Record views


Files downloads