Deficiency Zero Petri Nets and Product Form

Authors:
Jean Mairesse;Hoang-Thach Nguyen
Affiliations:
(Correspd.) LIAFA, Université Paris Diderot - Paris 7, 75205 Paris Cedex 13, France. mairesse@liafa.jussieu.fr, ngthach@liafa.jussieu.fr;LIAFA, Université Paris Diderot - Paris 7, 75205 Paris Cedex 13, France. mairesse@liafa.jussieu.fr, ngthach@liafa.jussieu.fr
Venue:
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2009
Year:
2010

Citing 0
Cited 2

A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets

Performance Evaluation
Synthesis and Analysis of Product-form Petri Nets

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, developed 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 Petri nets of this class which have a product form are the state machines, which can alternatively be viewed as Jackson networks.