Structural Traps of Nested Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2019

Structural Traps of Nested Petri nets


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.
Fichier principal
Vignette du fichier
NPtraps.pdf (428.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02415058 , version 1 (16-12-2019)


  • HAL Id : hal-02415058 , version 1


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


79 View
25 Download


Gmail Facebook X LinkedIn More