In: Microelectronics and Reliability, Vol. 31, No. 5, pages 933-939. 1991.
Abstract: Stochastic Petri nets have been developed to model and analyze systems involving concurrent activities. However, the firing times of a stochastic Petri net model are always exponentially distributed. The authors present an aggregate approach on how to analyze a stochastic Petri net model with non-exponential distributions using a generalized Markov renewal process. Therefore, the modeling flexibility of Petri nets and the analyzing power of the Markov renewal process are fully exploited. Moreover, an abstract partial reachability graph is introduced to simplify the Markov solution.
Keywords: stochastic net analysis (with) non-exponential distributions; generalized markov renewal process; abstract partial reachability graph; parallel operation system.