Analysis of Markov Reward Models with Stochastic Petri Nets
Dimitar I. Radev, Elena Rashkova, Vladimir Denchev · 2005
Analysis of Markov reward models with stochastic Petri nets is presented. Generation methods and analysis of continuous-time Markov chains and Markov reward models is provided for modeling of reliability of very large systems and working out measures for their performance. Examples and numerical results for M/D/1/2/2 system are shown.