Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes
Transient analysis of Markov Regenerative Processes (MRPs) can be performed through the solution of Markov renewal equations defined by global and local kernels, which respectively characterize the occurrence of regenerations and transient probabilities between them. To derive kernels from stochastic models (e.g., stochastic Petri nets), existing methods exclusively address the case where at most one generally-distributed timer is enabled in each state, or where regenerations occur in a bounded number of events. In this work, we analyze the state space of the underlying timed model to identify epochs between regenerations and apply distinct methods to each epoch depending on the satisfied conditions. For epochs not amenable to existing methods, we propose an adaptive approximation of kernel entries based on partial exploration of the state space, leveraging heuristics that permit to reduce the error on transient probabilities. The case study of a polling system with generally-distributed service times illustrates the effect of these heuristics and how the approach extends the class of models that can be analyzed.
KeywordsNon-markovian Petri Nets Markov Regenerative Process Enabling restriction Stochastic state class Non-deterministic analysis
- 9.German, R., Logothetis, D., Trivedi, K.S.: Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches. In: International Workshop on Petri Nets and Performance Models, pp. 103–112. IEEE (1995)Google Scholar
- 14.Lime, D., Roux, O.H.: Expressiveness and analysis of scheduling extended time Petri nets. In: IFAC Conference on Fieldbus and their Applications. Elsevier Science (2003)Google Scholar
- 19.Zimmermann, A: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: International ICST Conference on Performance Evaluation Methodologies and Tools, pp. 54–63 (2012)Google Scholar