Matrix-geometric solution of infinite stochastic Petri nets

We characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such on approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks.<<ETX>>

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

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

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

[4]  Henk Tijms,et al.  Heuristics for Finite-Buffer Queues , 1992, Probability in the Engineering and Informational Sciences.

[5]  S. Natkin,et al.  Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks , 1989, IEEE Trans. Software Eng..

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

[7]  Anthony Unwin,et al.  Reversibility and Stochastic Networks , 1980 .

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

[9]  Raif O. Onvural,et al.  Asynchronous Transfer Mode Networks: Performance Issues, Second Edition , 1993 .

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

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

[12]  Boudewijn R. Haverkort,et al.  Xmgm: a performance analysis tool based on matrix geometric networks , 1994 .

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

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

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

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

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

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

[19]  Miss A.O. Penney (b) , 1974, The New Yale Book of Quotations.

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

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

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

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

[24]  Peter G. Taylor,et al.  Mean-value analysis for a class of Petri nets and batch-movement queueing networks with product-form equilibrium distributions , 1995 .

[25]  Gerhard Jan Heijenk Connectionless communications using the asynchronous transfer mode , 1995, CTIT Ph. D-thesis series.

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

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

[28]  Luis G. Vargas Review: Marcel F. Neuts, Matrix-geometric solutions in stochastic models, an algorithmic approach , 1983 .

[29]  Boudewijn R. Haverkort,et al.  XMGM: performance modeling using matrix geometric techniques , 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

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

[31]  Stéphane Natkin,et al.  One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions , 1986, J. Syst. Softw..

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