Analysis of deterministic and stochastic Petri nets

G. Ciardo, C. Lindemann
Proceedings of 5th International Workshop on Petri Nets and Performance Models  
We present a time and space efficient algorithm for computing steady state solutions of deterministic and stochastic Petri nets (DSPNs) with both stochastic and structural extensions. The algorithm can deal with different execution policies associated with deterministic transitions of a DSPN. The definition of a subordinated Markov chain (SMC) is refined to reduce the computational cost of deriving the transition probabilities of the embedded Markov chain (EMC) underlying a DSPN. Closed-form
more » ... SPN. Closed-form expressions of these transition probabilities are presented for some SMC topologies. Moreover, we propose to make use of the reward structure defined on the DSPN to reduce memory requirements. The usefulness of the proposed extensions and the steps of the solution algorithm are illustrated using a DSPN of a simple communication protocol.
doi:10.1109/pnpm.1993.393454 dblp:conf/pnpm/CiardoL93 fatcat:rzaxett2xbeixirthf5sbgwuti