Transient analysis of superposed GSPNs

IEEE Transactions on Software Engineering

Volumn 25, Issue 2, 1999, Pages 182-193

  Kemper, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; ITERATIVE METHODS; MARKOV PROCESSES; MATRIX ALGEBRA; NUMERICAL ANALYSIS; PETRI NETS; PROBABILITY; STATE SPACE METHODS; VECTORS;

KRONECKER ALGEBRA; SUPERPOSED GENERALIZED STOCHASTIC PETRI NETS (SGPN);

SOFTWARE ENGINEERING;

EID: 0032658318     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.761444     Document Type: Article

References (26)

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 thé 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. of Computer Applications in Science and Eng., Hampton, Va., May 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 IntT 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," WJ. Stewart, ed., Computations with Markov Chains, Kluwer Academic, 1995.
9. S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," Application and Theory of Petri Nets. Springer, 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. 44045,1988.
12. W.K. Grassmann, "Transient Solutions in Markovian Queueing Systems," Computers 6- Operations Research, vol. 4, pp. 47-53,1977.
13. W.K. Grassmann, "Finding Transient Solutions in Markovian Event Systems Through Randomization," WJ. 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 GSPNs," IEEE Trans. Software Eng., vol. 22, no. 9, 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. 175194,1987.
19. B. Plateau, "On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms," ACM Sigmetrics Conf. Measurement and Modelling of Computer Systems, 1985.
20. B. Plateau and K. Atif, "Stochastic Automata Network for Modelling Parallel Systems," IEEE Trans. Software Eng., vol. 17, no. 10, pp. 1,093-1,108,1991.
21. A. Reibman and K.S. Trivedi, "Numerical Transient Analysis of Markov Models," Computer 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. 257267,1989.
23. E. de Souza e Suva 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 Suva and H.R. Gail, "Performability Analysis of Computer Systems: From Model Specification to Solution," Performance Evaluation, vol. 14, pp. 157-196,1992.
25. WJ. 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.