A toolbox for the analysis of discrete event dynamic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1633, Issue , 1999, Pages 483-486

  Buchholz, Peter ^a   Kemper, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; PETRI NETS;

ANALYSIS METHOD; BISIMULATION EQUIVALENCES; DECISION DIAGRAM; DISCRETE EVENT DYNAMIC SYSTEMS; EXCHANGE MECHANISM; FILE FORMATS; KRONECKER REPRESENTATIONS; SYNCHRONOUS COMMUNICATIONS;

COMPUTER AIDED ANALYSIS;

EID: 84957089899     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48683-6_41     Document Type: Conference Paper

References (14)

1. F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. Forschungsbericht 680, Fachbereich Informatik, Universitat Dortmund (Germany), 1998.
2. F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletters, 49:9-27, Oct 1995.
3. P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation-Modelling Techniques and Tools, pages 251-267. Elsevier, 1992.
4. P. Buchholz. Hierarchical structuring of superposed GSPNs. In Proc. 7th Int. Workshop Petri Nets and Performance Models (PNPM'97), St-Malo (France), June 1997, pages 81-90. IEEE CS Press, 1997.
5. P. Buchholz. An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. European Journal of Operational Research, 116(3):85-104, 1999.
6. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper. Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models. Technical report, ICASE Report No. 97-66 NASA/CR-97-206274, 1997. submitted for publication.
7. P. Buchholz and P Kemper. Efficient computation and representation of large reachability sets for composed automata. Forschungsbericht 705, Fachbereich Informatik, Universitat Dortmund (Germany), 1999.
8. P Buchholz and P. Kemper. Modular state level analysis of distributed systems-techniques and tool suppport. In accepted for 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), 1999.
9. P. Buchholz, P. Kemper, and the APNNed group. APNNed-a net editor and debugger within the APNN toolbox. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Proc. 5. Workshop Algorithmen und Werkzeuge für Petri-netze, pages 19-24. Forschungsbericht Nr. 694, FB Informatik, Universitat Dortmund, Germany, 1998.
10. H. Hanisch, P. Kemper, and A. Lüder. A modular and compositional approach to modeling and controller verification of manufacturing systems. In accepted for 14th IFAC Word Congress, July 5-9, 1999, Beijing, China, 1999.
11. P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 22(9), Sep 1996.
12. P. Kemper. Reachability analysis based on structured representations. In Application and Theory of Petri Nets, LNCS 1091. Springer, 1996.
13. P Kemper. A mapping of autonomous net condition event systems to GSPNs. submitted for publication, 1999.
14. P. Kemper and R. Luübeck. Model checking based on kronecker algebra. Forschungs-bericht 669, Fachbereich Informatik, Universitaüt Dortmund (Germany), 1998.