For the most recent entries see the Petri Nets Newsletter.

A Toolbox for the Analysis of Discrete Event Dynamic Systems.

Buchholz, Peter; Kemper, Peter

In: Computer Aided Verification (CAV'99) Proceedings of the 11th International Conference, Trento, Italy, July 1999, pages 483-486. Volume 1633 of Lecture Notes in Computer Science / N. Halbwachs, D. Peled (Eds.) --- Springer Verlag, 1999.

Abstract: We present a collection of tools for functional and quantitative analysis of discrete event dynamic systems (DEDS). Models can be formulated as a set of automata with synchronous communication or as Petri nets. Analysis takes place with a strong emphasis on state based analysis methods using Kronecker representations and ordered natural decision diagrams. Independent tools provide access to orthogonal techniques from different fields including computation of bisimulation equivalences, modelchecking, numerical analysis of Markov chains, and simulation. Two file formats are defined to provide a simple exchange mechanism between independent tools which allows to build various combinations of tools.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography