Deficiency Zero Petri Nets and Product Form

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.

[1]  C. Reutenauer.  The Mathematics of Petri Nets , 1990 .

[2]  J. R. Jackson.  Networks of Waiting Lines , 1957 .

[3]  T. Kurtz.  The Relationship between Stochastic and Deterministic Models for Chemical Reactions , 1972 .

[4]  Matteo Sereno,et al.  On closed support T-Invariants and the traffic equations , 1998, Journal of Applied Probability.

[5]  David F. Anderson,et al.  Product-Form Stationary Distributions for Deficiency Zero Chemical Reaction Networks , 2008, Bulletin of mathematical biology.

[6]  Manuel Silva Suárez,et al.  Product-form and stochastic Petri nets: a structural approach , 2005, Perform. Evaluation.

[7]  R. Serfozo.  Introduction to Stochastic Networks , 1999 .

[8]  Frank Kelly,et al.  Reversibility and Stochastic Networks , 1979 .

[9]  Peter G. Taylor,et al.  A net level performance analysis of stochastic Petri nets , 1989, The Journal of the Australian Mathematical Society. Series B. Applied Mathematics.

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  Nico M. van Dijk.  Queueing networks and product forms - a systems approach , 1993, Wiley-Interscience series in systems and optimization.

[12]  Richardus J. Boucherie.  R.F. Serfozo, Introduction to stochastic networks. New York: Springer-Verlag, 1999 (Applications of Mathematics) , 2001 .

[13]  Matteo Sereno,et al.  On the Product Form Solution for Stochastic Petri Nets , 1992, Application and Theory of Petri Nets.

[14]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[15]  S. Natkin,et al.  Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[16]  W. J. Gordon,et al.  Closed Queuing Systems with Exponential Servers , 1967, Oper. Res..

[17]  Thomas G. Robertazzi,et al.  Markovian Petri Net Protocols with Product Form Solution , 1991, Perform. Evaluation.

[18]  Jörg Desel,et al.  Basic Linear Algebraic Techniques for Place or Transition Nets , 1996, Petri Nets.

[19]  Peter G. Taylor,et al.  Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets , 1996, Perform. Evaluation.

[20]  Eduardo Sontag,et al.  A Petri net approach to the study of persistence in chemical reaction networks. , 2006, Mathematical biosciences.

[21]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[22]  Michael K. Molloy,et al.  Petri net , 2003 .