Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method

In this paper we investigate the efficiency of two solution approaches to infinite stochastic Petri nets: the matrix-geometric method and the spectral expansion method. We first informally present infinite stochastic Petri nets, after which we describe, using uniform notation, the matrix-geometric and the spectral expansion method. We put special emphasis on the numerical aspect of the solution procedures. Then, we investigate the suitability of these approaches to account for batch-movements of tokens. We then compare the two solution approaches when applied to a larger modelling study of a fault-tolerant computer system. It turns out that the spectral expansion method is favorable in all cases, especially when more heavily loaded systems are studied and when batch arrivals are incorporated in the model. To the best of our knowledge, this paper is the first to compare the spectral expansion method, as advocated by Mitrani and Chakka, with the Latouche-Ramaswami algorithm for the matrix-geometric case. Furthermore, our comparisons go well beyond the usual textbook cases, since we are able to generate, with our tool SPN2MGM, models that are much larger than those that have been assessed in the past.

[1]  Boudewijn R. Haverkort,et al.  SPN2MGM: tool support for matrix-geometric stochastic Petri nets , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[2]  Dario Bini,et al.  On Cyclic Reduction Applied to a Class of Toeplitz-Like Matrices Arising in Queueing Problems , 1995 .

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

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

[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]  S. Natkin,et al.  Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks , 1989, IEEE Trans. Software Eng..

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

[8]  Randolph Nelson,et al.  Matrix Geometric Solutions , 1995 .

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

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

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

[12]  Stéphane Natkin,et al.  On Open Synchronized Queuing Networks , 1985, PNPM.

[13]  James Demmel,et al.  LAPACK Users' Guide, Third Edition , 1999, Software, Environments and Tools.

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

[15]  Jack Dongarra,et al.  LAPACK: a portable linear algebra library for high-performance computers , 1990, SC.

[16]  Achim Basermann.  Parallel Sparse Matrix Computations in Iterative Solvers on Distributed Memory Machines , 1995, PPSC.

[17]  Ram Chakka,et al.  Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method , 1995, Perform. Evaluation.

[18]  Dietmar Wagner,et al.  Analysis of a multi-server delay-loss system with a general Markovian arrival process , 1994 .

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

[20]  Gene H. Golub,et al.  Matrix computations , 1983 .

[21]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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