Deficiency Zero Petri Nets and Product Form - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

Deficiency Zero Petri Nets and Product Form

Résumé

Consider a Markovian Petri net with race policy. The marking process has a ``product form'' stationary distribution if the probability of viewing a given marking can be decomposed as the product over places of terms depending only on the local marking. First we observe that the Deficiency Zero Theorem of Feinberg, developped for chemical reaction networks, provides a structural and simple sufficient condition for the existence of a product form. In view of this, we study the classical subclass of free-choice nets. Roughly, we show that the only such Petri nets having a product form are the state machines which can alternatively be viewed as Jackson networks.
Fichier principal
Vignette du fichier
deficiency0.pdf (339.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00385673 , version 1 (19-05-2009)
hal-00385673 , version 2 (24-08-2009)
hal-00385673 , version 3 (15-04-2010)

Identifiants

Citer

Jean Mairesse, Hoang-Thach Nguyen. Deficiency Zero Petri Nets and Product Form. 2010. ⟨hal-00385673v3⟩
82 Consultations
148 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More