SPN2MGM: tool support for matrix-geometric stochastic Petri nets

In this paper we present the tool SPN2MGM that can be used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically recognizes the "matrix-geometric structure" of the Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well-known and efficient techniques. We informally characterize the class of stochastic Petri nets of interest (a formal definition has been given in an earlier paper) after which we briefly touch upon the matrix-geometric solution approach. We then present an overview of SPN2MGM by discussing the model class supported and the internal methods used. We finish the paper with a case study in the area of queues with breakdowns. In particular, we present a model of a queueing system in which checkpointing can be used to shorten the recovery process after server-breakdowns have occurred.

[1]  S. Natkin,et al.  Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[2]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[3]  Stéphane Natkin,et al.  A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks , 1987, Petri Nets and Performance Models.

[4]  Kishor S. Trivedi,et al.  Specification and generation of Markov reward models , 1992 .

[5]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[6]  Boudewijn R. Haverkort,et al.  Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets , 1993, Perform. Evaluation.

[7]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[8]  Christoph Lindemann,et al.  An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[9]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[10]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[11]  Matteo Sereno,et al.  On the Product Form Solution for Stochastic Petri Nets , 1992, Application and Theory of Petri Nets.

[12]  Andrea Bobbio,et al.  Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models , 1992, Perform. Evaluation.

[13]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

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

[15]  Richard R. Muntz,et al.  Detecting Block GI/M/1 and Block M/G/1 Matrices from Model Specifications , 1995 .

[16]  Shambhu Upadhyaya,et al.  Performance evaluation of rollback-recovery techniques in computer programs , 1993 .

[17]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[18]  Boudewijn R. Haverkort,et al.  Specification techniques for Markov reward models , 1993, Discret. Event Dyn. Syst..

[19]  Jeronathan s..  Le Mont Saint-Michel , 1965 .

[20]  Kishor S. Trivedi,et al.  Queueing Analysis of Fault-Tolerant Computer Systems , 1987, IEEE Trans. Software Eng..

[21]  Isi Mitrani,et al.  TIPP and the Spectral Expansion Method , 1995 .

[22]  Udo R. Krieger,et al.  Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..

[23]  Vaidyanathan Ramaswami,et al.  A logarithmic reduction algorithm for quasi-birth-death processes , 1993, Journal of Applied Probability.

[24]  Boudewijn R. Haverkort,et al.  A mean-value analysis of slotted-ring network models , 1996, Telecommun. Syst..

[25]  Victor F. Nicola,et al.  Comparative Analysis of Different Models of Checkpointing and Recovery , 1990, IEEE Trans. Software Eng..

[26]  Gianfranco Balbo,et al.  Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[27]  Kishor S. Trivedi,et al.  A software tool for learning about stochastic models , 1993 .

[28]  Kishor S. Trivedi,et al.  The Completion Time of Programs on Processors Subject to Failure and Repair , 1993, IEEE Trans. Computers.

[29]  Marcel F. Neuts,et al.  Structured Stochastic Matrices of M/G/1 Type and Their Applications , 1989 .

[30]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[31]  Ushio Sumita,et al.  Analysis of fault tolerant computer systems , 1987 .

[32]  K. Mani Chandy,et al.  A Survey of Analytic Models of Rollback and Recovery Stratergies , 1975, Computer.

[33]  William J. Stewart.  On the Use of Numerical Methods for ATM Models , 1993, Modelling and Evaluation of ATM Networks.

[34]  Peter Buchholz.  Aggregation and reduction techniques for hierarchical GCSPNs , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[35]  B. R. Haverkort.  Matrix-geometric solution of infinite stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[36]  Peter Buchholz,et al.  Hierarchical Markovian Models: Symmetries and Reduction , 1995, Perform. Evaluation.

[37]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[38]  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.