Structural Traps of Nested Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Structural Traps of Nested Petri nets

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02415058 , version 1

Citer

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

Collections

TDS-MACS
79 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More