On generating a hierarchy for GSPN analysis

Performance Evaluation Review

Volumn 26, Issue 2, 1998, Pages 5-14

  Buchholz, Peter ^a   Kemper, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Generalized Stochastic Petri Nets; Hierarchical Structure; Kronecker Algebra; Markov Chain Analysis Techniques

Indexed keywords

EID: 0002378592     PISSN: 01635999     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288197.288202     Document Type: Article

References (25)

1. G. Chiola, M. Ajmone-Marsan, G. Balbo, and G. Conte, "Generalized stochastic Petri nets: a definition at the net level and its implications," IEEE Transactions on Software Engineering, vol. 19, no. 2, pp. 89-107, 1993.
2. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper, "Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models," ICASE Report 97-66, NASA ICASE, 1997, submitted for publication.
3. P. Buchholz, "A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis," Journal of Parallel and Distributed Computing, vol. 15, no. 3, pp. 207-224, 1992.
4. J. Campos, M. Silva, and S. Donatelli, "Structured solution of stochastic DSSP systems," in Proc. 7th Int. Work. on Petri Nets and Performance Models. 1997, pp. 91-100, IEEE CS-Press.
5. S. Donatelli, "Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution," Performance Evaluation, vol. 18, pp. 21-36, 1994.
6. S. Haddad and P. Moreaux, "Asynchronous composition of high level Petri nets: a quantitative approach," in Application and Theory of Petri Nets 1996, J. Billington and W. Reisig, Eds. 1996, pp. 192-211, Springer LNCS 1091.
7. P. Kemper, "Reachability analysis based on structured representations," in Application and Theory of Petri Nets 1996, J. Billington and W. Reisig, Eds. 1996, pp. 269-288, Springer LNCS 1091.
8. W.J. Stewart, K. Atif, and B. Plateau, "The numerical solution of stochastic automata networks," European Journal of Operational Research, vol. 86, pp. 503-525, 1995.
9. J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "A general iterative technique for approximate throughput computation of stochastic marked graphs," in Proc. of the 5th Int. Work. on Petri Nets and Performance Models. 1993, pp. 138-147, IEEE CS-Press.
10. G. Ciardo and K. Trivedi, "A decomposition approach for stochastic reward net models," Performance Evaluation, vol. 18, pp. 37-59, 1994.
11. Y. Li and C. M. Woodside, "Complete decomposition of stochastic Petri nets representing generalized service networks," IEEE Transactions on Computer, vol. 44, no. 4, pp. 577-592, 1995.
12. C. M. Woodside and Y. Li, "Performance Petri net analysis of communications protocol software by delay equivalent aggregation," in Proc. 4th Int. Workshop on Petri Nets and Performance Models. 1991, pp. 64-73, IEEE CS-Press.
13. K. Jensen, Coloured Petri nets, vol. 1 of ETACS Monographs, Springer, 1992.
14. P. Buchholz and P. Kemper, "Numerical analysis of stochastic marked graph nets," in Proc. 5th Int. Work. on Petri Nets and Performance Models. 1995, pp. 32-41, IEEE CS-Press.
15. M. Heiner and P. Deussen, "Petri net based design and analysis of reactive systems," in Proc. 3rd Workshop on Discrete Event Systems (WoDES'96), 1996, pp. 308-313.
16. M. Heiner, P. Deussen, and J. Spranger, "A case study in developing control software on manufacturing systems," in Workshop Manufacturing and Petri nets, M. Silva, R. Valette, and K. Takahashi, Eds., 1996.
17. C. Lewerentz and T. Lindner, Eds., Formal development of reactive systems, LNCS 891. Springer, 1995.
18. P. Buchholz and P. Kemper, "Hierarchical reachability graph generation for Petri nets," Forschungsbericht 660, Universität Dortmund, Fachbereich Informatik, 1997, submitted for publication.
19. J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Application and Theory of Petri Nets 1981. 1981, Springer IFB 52.
20. J.M. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Advances in Petri nets 1990, G. Rozenberg, Ed. 1991), pp. 113-145, Springer LNCS 483.
21. P. Buchholz, "Hierarchical structuring of superposed GSPNs," in Proc. of the 7th Int. Work. on Petri Nets and Performance Models. 1997, pp. 81-90, IEEE CS-Press.
22. P. Kemper, "Numerical analysis of superposed GSPNs," IEEE Transactions on Software Engineering, vol. 22, pp. 615-628, 1996.
23. P. Kemper, "Transient analysis of superposed GSPNs," in Proc. of the 7th Int. Work. on Petri Nets and Performance Models. 1997, pp. 101-110, IEEE CS-Press.
24. P. Buchholz, "An aggregation/disaggregation algorithm for stochastic automata networks," Probability in the Engineering and Informational Sciences, vol. 11, no. 2, pp. 229-253, 1997.
25. P. Kemper and R. Lübeck, "Model checking based on Kronecker algebra," Forschungsbericht 669, Universität Dortmund, Fachbereich Informatik, 1997.