Stochastic Reward Nets for Reliability Prediction

Abstract

We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs) whichare SPNs augmented with the ability to specify output measures as reward-based functions,for the evaluation of reliability for complex systems. The solution of SRNs involves generationand analysis of the corresponding Markov reward model. The use of SRNs in modelingcomplex systems is illustrated through several interesting examples. We mention the use ofthe Stochastic Petri Net Package (SPNP) for the description and solution of SRN models.