CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while a net is being constructed. A fast simulator efficiently handles both untimed and timed nets. Full and partial state spaces can be generated and analysed, and a standard state space report contains information such as boundedness properties and liveness properties. The functionality of the simulation engine and state space facilities are similar to the corresponding components in Design/CPN, which is a widespread tool for Coloured Petri Nets.

Unable to display preview. Download preview PDF.

Authors and Affiliations

1. Department of Computer Science, University of Aarhus IT-parken, Aabogade 34, DK-8200, Århus N, Denmark

   Anne Vinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen & Kurt Jensen

Editors and Affiliations

1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

   Wil M. P. van der Aalst

2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

   Eike Best

Reprints and permissions

© 2003 Springer-Verlag Berlin Heidelberg

Policies and ethics