This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Transient Analysis of Superposed GSPNs
March/April 1999 (vol. 25 no. 2)
pp. 182-193

Abstract—The paper considers transient analysis using randomization for superposed generalized stochastic Petri nets (GSPNs). Since state space explosion implies that space is the bottleneck for numerical analysis, superposed GSPNs profit from the structured representation known for its associated Markov chain. This moves the bottleneck for analysis from space for generator matrices to space for iteration vectors. Hence a variation of randomization is presented which allows to reduce space requirements for iteration vectors. An additional and welcome side effect is that during an initial phase, this algorithm avoids useless multiplications involving states with zero probability. Furthermore, it accommodates to adaptive randomization in a natural way. Although the algorithm has been developed for superposed GSPNs, it applies to continuous time Markov chains in a more general setting.

[1] M. Ajmone Marsan, G. Balbo, and G. Conte, Performance Models of Multiprocessor Systems.Cambridge, Mass.: MIT Press, 1986.
[2] G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar-Roet, "On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Proc. Workshop Petri Nets and Performance Models, pp. 136-145. IEEE Computer Soc., 1987.
[3] S. Caselli, G. Conte, and P. Marenzoni, "Parallel State Space Exploration for GSPN Models," Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, pp. 181-201. Springer, 1995.
[4] G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89-107, Feb. 1993.
[5] G. Ciardo and M. Tilgner, "On the Use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets," Icase Report 96-35, Inst. for Computer Applications in Science and Engineering, Hampton, Va., 1996.
[6] G. Ciardo and A.S. Miner, "Storage Alternatives for Large Structured State Spaces," R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds., Proc. Ninth Int'l Conf. Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science 1245, pp. 44-57, Springer, 1997.
[7] M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, no. 2, pp. 116-125, Feb. 1981.
[8] J.D. Diener and W.H. Sanders, "Empirical Comparison of Uniformization Methods for Continuous-Time Markov Chains," W.J. Stewart, ed., Computations with Markov Chains, Kluwer Academic, 1995.
[9] S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258-277.Berlin, Heidelberg: Springer-Verlag, 1994.
[10] J. Dunkel and H. Stahl, "On the Transient Analysis of Stiff Markov Chains," Proc. Third IFIP Work. Conf. Dependable Computing for Critical Applications, 1992.
[11] B.L. Fox and P.W. Glynn, "Computing Poisson Probabilities," Comm. ACM, vol. 31, pp. 440-445, 1988.
[12] W.K. Grassmann, "Transient Solutions in Markovian Queueing Systems," Computers&Operations Research, vol. 4, pp. 47-53, 1977.
[13] W.K. Grassmann, "Finding Transient Solutions in Markovian Event Systems Through Randomization," W.J. Stewart, ed., Numerical Solution of Markov Chains. Marcel Dekker, 1991.
[14] A. Jensen, "Markoff Chains as an Aid in the Study of Markoff Processes," Skand. Akuarietidskrift, vol. 36, pp. 87-91, 1953.
[15] P. Kemper, "Numerical Analysis of Superposed GSPN," IEEE Trans. Software Eng., vol. 22, no. 4, pp. 615-628, Sept. 1996.
[16] P. Kemper, "Reachability Analysis Based on Structured Representations," Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, Springer, 1996.
[17] P. Kemper, "Superposition of Generalized Stochastic Petri Nets and Its Impact on Performance Analysis," PhD thesis, Universität Dortmund, Krehl-Verlag, 1997 (in English).
[18] R.A. Marie, A.L. Reibman, and K.S. Trivedi, "Transient Analysis of Acyclic Markov Chains," Performance Evaluation, vol. 7, pp. 175-194, 1987.
[19] B. Plateau, "On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms," Proc. SIGMETRICS Conf., pp. 147-154,Austin, Texas, ACM, Aug. 1985.
[20] B. Plateau and K. Atif, Stochastic Automata Network for Modeling Parallel Systems IEEE Trans. Software Eng., vol. 17, no. 10, pp. 1093-1108, Oct. 1991.
[21] A. Reibman and K.S. Trivedi, “Numerical Transient Analysis of Markov Models,” Computers and Operations Research, vol. 15, pp. 19-36, 1988.
[22] A.L. Reibman, R. Smith, and K.S. Trivedi, "Markov and Markov Reward Model Transient Analysis: An Overview of Numerical Approaches," European J. Operational Research, vol. 40, pp. 257-267, 1989.
[23] E. de Souza e Silva and P.M. Ochoa, "State Space Exploration in Markov Models," Performance Evaluation Rev., vol. 20, no. 1, pp. 152-166, 1992.
[24] E. de Souza e Silva and H.R. Gail, "Performability Analysis of Computer Systems: From Model Specification to Solution," Performance Evaluation, vol. 14, pp. 157-196, 1992.
[25] W.J. Stewart, Introduction to the Numerical Solution of Markov Chains," Princeton Univ. Press, 1994.
[26] A.P.A. van Moorsel and W.H. Sanders, "Adaptive Uniformization," Stochastic Models, vol. 10, no. 3, 1994.

Index Terms:
Stochastic Petri net, Markov chain analysis, standard and adaptive randomization, Kronecker algebra.
Citation:
Peter Kemper, "Transient Analysis of Superposed GSPNs," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 182-193, March-April 1999, doi:10.1109/32.761444
Usage of this product signifies your acceptance of the Terms of Use.