Deficiency Zero Petri Nets and Product Form - Computer Science > Discrete MathematicsReport as inadecuate




Deficiency Zero Petri Nets and Product Form - Computer Science > Discrete Mathematics - Download this document for free, or read online. Document in PDF available to download.

Abstract: Consider a Markovian Petri net with race policy. The marking process has a-product form- stationary distribution if the probability of viewing a givenmarking can be decomposed as the product over places of terms depending only onthe local marking. First we observe that the Deficiency Zero Theorem ofFeinberg, developped for chemical reaction networks, provides a structural andsimple sufficient condition for the existence of a product form. In view ofthis, we study the classical subclass of free-choice nets. Roughly, we showthat the only such Petri nets having a product form are the state machineswhich can alternatively be viewed as Jackson networks.



Author: Jean Mairesse LIAFA, Hoang-Thach Nguyen LIAFA

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents