Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volumes 1–3. Monographs in Theoretical Computer Science. Springer-Verlag (1992–1997)
Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer 2 (1998) 98–132
Design/CPN. Online: http://www.daimi.au.dk/designCPN/.
Petri Nets Tool Database. Online: http://www.daimi.au.dk/PetriNets/tools/db.html.
CPN2000 Project. Online: http://www.daimi.au.dk/CPnets/CPN2000/.
Kurtenbach, G., Buxton, W.: User learning and performance with marking menus. In: Proceedings of Human Factors in Computing Systems, ACM (1994) 258–264 CHI’94.
Bier, E., Stone, M., Pier, K., Buxton, W., Rose, T.D.: Toolglass and magic lenses: the see-through interface. In: Proceedings of ACM SIGGRAPH, ACM Press (1993) 73–80
Standard ML of New Jersey. Online: http://cm.bell-labs.com/cm/cs/what/smlnj/.
Jensen, K., Christensen, S., Kristensen, L.M.: Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. (1996) Online: http://www.daimi.au.dk/designCPN/man/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ratzer, A.V. et al. (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_28
Download citation
DOI: https://doi.org/10.1007/3-540-44919-1_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40334-0
Online ISBN: 978-3-540-44919-5
eBook Packages: Springer Book Archive