Separability in Persistent Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2011

Separability in Persistent Petri Nets

Eike Best
  • Fonction : Auteur
  • PersonId : 888559

Résumé

Separability in Petri nets means the property for a net k *N with an initial marking k *M to behave in the same way as k parallel instances of the same net N with an initial marking M, thus divided by k. We prove the separability of plain, bounded, reversible and persistent Petri nets, a class of nets that extends the well-known live and bounded marked graphs. We establish first a weak form of separability, already known to hold for marked graphs, in which every firing sequence of k * N is simulated by a firing sequence of k parallel instances of N with an identical firing count. We establish on top of this a strong form of separability, in which every firing sequence of k * N is simulated by an identical firing sequence of k parallel instances of N.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00651208 , version 1 (13-12-2011)

Identifiants

Citer

Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. Fundamenta Informaticae, 2011, 112, pp.1-25. ⟨10.3233/FI-2011-566⟩. ⟨hal-00651208⟩
106 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More