Markov regenerative stochastic petri nets with general execution policies: Supplementary variable analysis and a prototype tool

Abstract

Stochastic Petri nets (SPNs) with general firing time distributions are considered. The generally timed transitions can have general execution policies: the preemption policy may be preemptive repeat different (prd) or preemptive resume (prs) and the firing time distribution can be marking-independent or marking-dependent through constant scaling factors. A stationary analysis method covering all possible combinations is presented by means of supplementary variables. The method is implemented in a prototype tool based on Mathematica. An example illustrates the analysis method and the use of the tool.