Deficiency Zero Petri Nets and Product Form

  • Jean Mairesse
  • Hoang-Thach Nguyen
Conference paper

DOI: 10.1007/978-3-642-02424-5_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5606)
Cite this paper as:
Mairesse J., Nguyen HT. (2009) Deficiency Zero Petri Nets and Product Form. In: Franceschinis G., Wolf K. (eds) Applications and Theory of Petri Nets. PETRI NETS 2009. Lecture Notes in Computer Science, vol 5606. Springer, Berlin, Heidelberg

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, 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 bounded 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jean Mairesse
    • 1
  • Hoang-Thach Nguyen
    • 1
  1. 1.LIAFAUniversité Paris Diderot - Paris 7Paris Cedex 13

Personalised recommendations