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 <>
Submitted on : Monday, December 16, 2019 - 9:28:24 PM
Last modification on : Monday, October 12, 2020 - 1:58:02 PM
Long-term archiving on: : Tuesday, March 17, 2020 - 10:40:44 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-12-16

Please log in to resquest access to the document


  • HAL Id : hal-02415058, version 1



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



Record views