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. 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-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.

[1]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[2]  Reinhard German,et al.  Modeling discrete event systems with state-dependent deterministic service times , 1993, Discret. Event Dyn. Syst..

[3]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[4]  J. Keilson,et al.  On Time Dependent Queuing Processes , 1960 .

[5]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[6]  William H. Sanders,et al.  An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models , 1996, Perform. Evaluation.

[7]  Andrea Bobbio,et al.  Markov regenerative SPN with non-overlapping activity cycles , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[8]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[9]  Reinhard German,et al.  Analysis of Stochastic Petri Nets by the Method of Supplementary Variables , 1994, Perform. Evaluation.

[10]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[11]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[12]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

[13]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[14]  Miklós Telek,et al.  Markov Regenerative Stochastic Petri Nets with Age Type General Transitions , 1995, Application and Theory of Petri Nets.

[15]  Stephen Wolfram,et al.  The Mathematica book (3rd ed.) , 1996 .

[16]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[17]  Reinhard German.  Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool , 1998, Computer Performance Evaluation.

[18]  W. Grassmann.  The GI/PH/1 Queue: a Method to Find The Transition Matrix , 1982 .

[19]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[20]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[21]  Miklós Telek,et al.  Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[22]  Antonio Puliafito,et al.  Steady state solution of MRSPN with mixed preemption policies , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[23]  Antonio Puliafito,et al.  WebSPN: A WEB-accessible Petri Net Tool , 1998 .

[24]  A. Horvath,et al.  Supplementary variable approach applied to the transient analysis of age-MRSPNs , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[25]  D. Cox.  The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[26]  Kishor S. Trivedi,et al.  Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[27]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[28]  Kishor S. Trivedi,et al.  Steady State Analysis of Markov Regenerative SPN with Age Memory Policy , 1995, MMB.

[29]  Reinhard German,et al.  New results for the analysis of deterministic and stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[30]  Gerald S. Shedler,et al.  Numerical Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions , 1996, Perform. Evaluation.