Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool. Stochastic Petri Nets (SPNs) with general firing time distributions are considered. Generally timed transitions can have general execution policies: the preemption policy may be preemptive repeat different or preemptive resume and the firing time distribution can be marking-dependent. A stationary analysis method covering all possible combinations is presented by means of supplementary variables. The method is implemented in a prototype tool SPNica which is based on Mathematica. The use of the general execution policies is illustrated by a WWW server model.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Pan, Zhusheng; Mo, Yuchang: Reliability analysis of redundant and repairable systems (2013)
- Gupta, Vandana; Dharmaraja, S.; Gong, Mingwei: Analytical modeling of TCP flow in wireless lans (2011)
- German, Reinhard: Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool (2000)