The paper discusses a class of Markov Regenerative Stochastic Petri Nets (MRSPN) characterized by the fact that the stochastic process subordinated to two consecutive regeneration time points is a semi-Markov reward process. This class of SPN's can accommodate transitions with generally distributed firing time and associated memory policy of both enabling and age type, thus generalizing and encompassing all the previous definitions of MRSPN. An unified analytical procedure is developed for the derivation of closed form expressions for the transient and steady state probabilities.
|Number of pages||10|
|Publication status||Published - jan. 1 1995|
|Event||Proceedings of the IEEE International Computer Performance and Dependability Symposium - Erlangen, Ger|
Duration: ápr. 24 1995 → ápr. 26 1995
|Other||Proceedings of the IEEE International Computer Performance and Dependability Symposium|
|Period||4/24/95 → 4/26/95|
ASJC Scopus subject areas