SPNica

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.


References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Pan, Zhusheng; Mo, Yuchang: Reliability analysis of redundant and repairable systems (2013)
  2. Gupta, Vandana; Dharmaraja, S.; Gong, Mingwei: Analytical modeling of TCP flow in wireless lans (2011) ioport
  3. German, Reinhard: Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool (2000)