
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Peter Kemper, "Transient Analysis of Superposed GSPNs," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 182193, March/April, 1999.  
BibTex  x  
@article{ 10.1109/32.761444, author = {Peter Kemper}, title = {Transient Analysis of Superposed GSPNs}, journal ={IEEE Transactions on Software Engineering}, volume = {25}, number = {2}, issn = {00985589}, year = {1999}, pages = {182193}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.761444}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Transient Analysis of Superposed GSPNs IS  2 SN  00985589 SP182 EP193 EPD  182193 A1  Peter Kemper, PY  1999 KW  Stochastic Petri net KW  Markov chain analysis KW  standard and adaptive randomization KW  Kronecker algebra. VL  25 JA  IEEE Transactions on Software Engineering ER   
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. MolinarRoet, "On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Proc. Workshop Petri Nets and Performance Models, pp. 136145. 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. 181201. 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. 89107, Feb. 1993.
[5] G. Ciardo and M. Tilgner, "On the Use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets," Icase Report 9635, 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. 4457, Springer, 1997.
[7] M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, no. 2, pp. 116125, Feb. 1981.
[8] J.D. Diener and W.H. Sanders, "Empirical Comparison of Uniformization Methods for ContinuousTime 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. 258277.Berlin, Heidelberg: SpringerVerlag, 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. 440445, 1988.
[12] W.K. Grassmann, "Transient Solutions in Markovian Queueing Systems," Computers&Operations Research, vol. 4, pp. 4753, 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. 8791, 1953.
[15] P. Kemper, "Numerical Analysis of Superposed GSPN," IEEE Trans. Software Eng., vol. 22, no. 4, pp. 615628, 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, KrehlVerlag, 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. 175194, 1987.
[19] B. Plateau, "On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms," Proc. SIGMETRICS Conf., pp. 147154,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. 10931108, Oct. 1991.
[21] A. Reibman and K.S. Trivedi, “Numerical Transient Analysis of Markov Models,” Computers and Operations Research, vol. 15, pp. 1936, 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. 257267, 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. 152166, 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. 157196, 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.