Analyzing system reliability using non-regenerative stochastic Petri nets

We extend the class of Markov models that can be described by a stochastic Petri net and describe analytical techniques for solving the resulting model. We consider a generalization of the Markov renewal process in which some of the states may not constitute regeneration points. We present a non-regenerative stochastic Petri net (NRSPN) that generates such a process, discuss its solution, and present an example of a spare-parts inventory system using the NRSPN model. After reviewing SPNs and Markov renewal processes, we define the NRSPN model in the context of a generalized Markov renewal process. Numerical results for specific distributions are given