2009/05/19 by Jean Mairesse, Mairesse, Jean, Hoang-Thach Nguyen +1
Computer Science · #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #cs.DM
paper · pdf · doi:10.48550/arxiv.0905.3158
This is a long and improved version of the conference paper: J. Mairesse and H.-T. Nguyen. Deficiency zero Petri nets and product form. In G. Franceschinis and K. Wolf, editors, Petri Nets 2009, volume 5606 of LNCS, pages 103-122. Springer-Verlag, 2009
arxiv created 2010/05/31 · arxiv updated 2010/06/01
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.