Hierarchical structuring of superposed GSPNs

IEEE Transactions on Software Engineering

Volumn 25, Issue 2, 1999, Pages 166-181

  Buchholz, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DATA STRUCTURES; HIERARCHICAL SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; MATRIX ALGEBRA; NUMERICAL ANALYSIS; PETRI NETS;

REACHABILITY ANALYSIS; STOCHASTIC AUTOMATA NETWORKS (SAN); SUPERPOSED GENERALIZED STOCHASTIC PETRI NETS (SGSPN);

SOFTWARE ENGINEERING;

EID: 0032666239     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.761443     Document Type: Article

References (23)

1. B. Plateau, "On the Stochastic Structure of Parallelism and Synchronisation Models for Distributed Algorithms," Performance Evaluation Review, vol. 13, pp. 142-154,1985.
2. B. Plateau and J.M. Fourneau, "A Methodology for Solving Markov Models of Parallel Systems," J. Parallel and Distributed Computing, vol. 12, pp. 370-387,1991.
3. S. Donatelli, "Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution," Performance Evaluation, vol. 18, pp. 21-36,1994.
4. S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," Application and Theory of Petri Nets 1994, R. Valette, ed., Springer Lecture Notes in Computer Science 815, pp. 258-277,1994.
5. P. Buchholz, "Markovian Process Algebra: Composition and Equivalence," Proc. Second Workshop Process Algebras and Performance Modelling, pp. 11-30, U. Herzog and M. Rettelbach, eds. Arbeitsberichte des IMMD, Univ. of Erlangen, no. 27,1994.
6. P. Kemper, "Numerical Analysis of Superposed GSPNs," IEEE Trans. Software Eng., vol. 22, no. 9, pp. 615-628,1996.
7. P. Kemper, "Reachability Analysis Based on Structured Representations," Application and Theory of Petri Nets 1996, ]. Billington and W. Reisig, eds. Springer Lecture Notes in Computer Science 1,091, pp. 269-288,1996.
8. P. Buchholz, "An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks," Probability in the Eng. and Informational Sciences, vol. 11, no. 2, pp. 229-253,1997.
9. W.J. Stewart, K. Atif, and B. Plateau, "The Numerical Solution of Stochastic Automata Networks," European J. Oper.l Research, vol. 86, pp. 503-525,1995.
10. G. Ciardo and K. Trivedi, "A Decomposition Approach for Stochastic Reward Net Models," Performance Evaluation, vol. 18, pp. 37-59,1994.
11. P. Buchholz, "A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis," J. Parallel and Distributed Computing, vol. 15, no. 3, pp. 207-224,1992.
12. 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, 1993.
13. P. Buchholz, "A Notion of Equivalence for Stochastic Petri Nets," Application and Theory of Petri Nets, G. De Michelis and M. Diaz, eds., Springer Lecture Notes in Computer Science 935, pp. 161180,1995.
14. M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, pp. 116-125,1981.
15. P.E. Buis and W.R. Dyksen, "Efficient Vector and Parallel Manipulation of Tensor Products," ACM Trans. Math. Software, vol. 22, no. 1, pp. 18-23,1996.
16. R. Cleaveland, J. Parrow, and B. Steffen, "The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems," ACM Trans. Programming Languages and Systems, vol. 15, no. 1, pp. 36-72,1993.
17. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
18. D. Park, "Concurrency and Automata on Infinite Sequences," Proc. Fifth GI Conf. Theoretical Computer Science, pp. 167-183, Springer Lecture Notes in Computer Science 104,1981.
19. J.C. Fernandez, "An Implementation of an Efficient Algorithm for Bisimulation Equivalence," Science of Computer Programming, vol. 13, pp. 219-236,1989-1990.
20. F. Bause, P. Buchholz, and P. Kemper, "QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets," Quantitative Evaluation of Computing and Communication Systems, H. Beilner and F. Bause, eds., Springer Lecture Notes in Computer Science 977, pp. 224-238,1995.
21. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper, "Complexity of Kronecker Operations and Sparse Matrices with Applicati ons to the Solution of Markov Models," ICASE Report 97-66, NASA ICASE, 1997. to appear
22. D.D. Deavours and W.H. Sanders, "An Efficient Disk-Based Tool for Solving Very Large Markov Models," Computer Performance Evaluation-Modelling Techniques and Tools 1997, R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds., Springer Lecture Notes in Computer Science 1,245, pp. 58-71,1997.
23. 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 Models, pp. 64-73, IEEE CS Press, 1991.