Deficiency Zero Petri Nets and Product Form
Jean Mairesse, Hoang-Thach Nguyen · Fundamenta Informaticae · 2010
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.