Numerical analysis of superposed GSPNs

IEEE Transactions on Software Engineering

Volumn 22, Issue 9, 1996, Pages 615-628

  Kemper, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Decomposition; Markov process; Numerical solution algorithm for steady state analysis tensor kronecker algebra; Reachability analysis; Stochastic petri net; Structured representation; Superposed GSPN

Indexed keywords

EID: 0001189029     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.541433     Document Type: Article

References (26)

1. M. Ajmorte Marsan, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets for the Performance Aanalysis of Multiprocessor Systems," ACM Trans, Computer Systems, vol. 2, no. 1, May 1984.
2. V. Amoia, G. De Micheli, and M. Santomauro, "ComputerOriented Formulation of Transition-Rate Matrices via Kronecker Algebra," 1ELL Irans. Reliability, vol. 30, no. 1, pp. 123-132, June 1981.
3. G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar-Roet, "On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Int'l Workshop Petri Nets and Performance Models, pp. 136-145,IELE Computer Society, 1987.
4. F. Bause and P. Kemper, "QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets," G. Haring and G. Kotsis, eds., Computer Performance Evaluation, Modelling Techniques and Tools, Proc. Seventh Int'l Conf., Vienna, Austria, LNCS 794, pp. 321-334. Springer-Verlag, 1994.
5. P. Buchholz, "A Hierarchical View of GCSPNs and its Impact on Qualitative and Quantitative Analysis," J. Parallel and Distributed Computing, vol. 15, pp. 207-224,1992.
6. G. Chiola, "Compiling Techniques for the Analysis of Stochastic Petri Nets," Proc. Fourth Int'l Conf. Modeling Techniques and Tooβ, pp. 13-27,1989.
7. G. Chiola, "1.5 Software Architecture," G. Balbo and G. Serazzi, pds., Computer Performance Evaluation, pp. 121-136. North Holland, 1992.
8. (8] C. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications," IEEE Tram. Software Eng., vol. 19, no. 2, pp. 89-107, Feb. 1993.
9. G. Chiola, S. Donatelli, and G. Franceschinis, "GSPNs versus SPNs: What is the Actual Role of Immediate Transitions," Proc. Fourth Int'l Workshop Petri Nets and Performance Models, pp. 20-31, IEEE Computer Society, 1991.
10. ]10] S. Christensen and L. Petrucci, "Modular State Space Analysis of Coloured Petri Mets," Proc. 16fh Int'l Conf. Application and Theory of Petri Nets, LNCS 935, pp. 201-217. Springer-Verlag, 1995.
11. C. Ciardo, J. Muppala, and K. Trivedi, "SPNP: Stochastic Petri Net Package," Proc. Third Int'l Workshop Petri Nets and Performance Models, pp. 142-151, IEEE Computer Society, 1989.
12. G. Ciardo and K.S. Trivedi, "A Decomposition Approach for Stochastic Petri Net Models," Proc. Fourth Int'l Workshop Petri Nets and Performance Models, pp. 74-83, IEEE Computer Society, 1991.
13. M. Davio, "Kronecker Products and Shuffle Algebra," ICCE Trans. Computers, vol. 30, no. 2, pp. 116-125, Feb. 1981.
14. S. Donatelli, "Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space," Performance Evaluation, vol. 18, pp. 21-26, 1993.
15. S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," Application and Theory of Petri Nets. Berlin: Springer-Verlag, 1994.
16. S. Donatelli, M. Ribaudo, and J. Hillston, "A Comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets," Proc. Sixth Int'l Workshop Petri Nets and Performance Models, pp. 158-168, IEEE CS Press, 1995.
17. J. Hillston, "Compositional Markovian Modelling using a Process Algebra," W.J. Stewart, ed., Computations with Markov Chains: Proc. Second Int'l Work, Numerical Solution of Markov Chains, pp. 177-196. Kluwer Academic Publishers, 1995. '
18. N. Karmarkdr, "A New Polynomial Time Algorithm for Linear Programming." Combinatorica, vol. 4, pp. 373-395.1984.
19. C. Lindemann, "DSPNExpress: A Software Package for the Efficient Solution Deterministic and Stochastic Petri Nets," Performance Evaluation, p. 22, 1995.
20. J. Martinez and M. Suva. "A Simple and Fast Algorithm to Obtain all Invariants of a Generalized Petri Net," C. Girault and W. Reisig, eds., Application and Theory of Petri Nets, Informatik Fachberichte, p. 52,1982.
21. T. Murata, "Petri Nets: Properties, Analysis and Application," Proc. IEEE, vol. 77, pp. 541-580,1989.
22. 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.
23. B. Plateau and J.M. Fourneau, "A Methodology for Solving Markov Models of Parallel Systems," J. Parallel und Distributed Computing, vol. 12,1991.
24. W.J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
25. W.J. Stewart, K. Atif, and B. Plateau, "The numerical solution of stochastic automata networks," Eurooean }. Operatonal Research, vol. 86, pp. 503-525, 1995.
26. C.M. Woodside and Y. Li, "Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation," Proc. Fourth Int'l Workshop Petri Nets and Performance Moduli, pp. 64-73, IEEE Computer Society, 1991.