Skip to main navigation Skip to search Skip to main content

Markov regenerative SPN with non-overlapping activity cycles

  • Andrea Bobbio
  • , Miklos Telek

Research output: Contribution to conferencePaperpeer-review

Abstract

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.

Original languageEnglish
Pages124-133
Number of pages10
Publication statusPublished - 1995
Externally publishedYes
EventProceedings of the IEEE International Computer Performance and Dependability Symposium - Erlangen, Ger
Duration: 24 Apr 199526 Apr 1995

Conference

ConferenceProceedings of the IEEE International Computer Performance and Dependability Symposium
CityErlangen, Ger
Period24/04/9526/04/95

Fingerprint

Dive into the research topics of 'Markov regenerative SPN with non-overlapping activity cycles'. Together they form a unique fingerprint.

Cite this