TY - GEN
T1 - CPN tools for editing, simulating, and analysing coloured Petri nets
AU - Ratzer, A.V.
AU - Wells, L.
AU - Lassen, H.M.
AU - Laursen, M.
AU - Qvortrup, J.F.
AU - Stissing, M.S.
AU - Westergaard, M.
AU - Christensen, S.
AU - Jensen, K.
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
U2 - 10.1007/3-540-44919-1_28
DO - 10.1007/3-540-44919-1_28
M3 - Conference contribution
SN - 3-540-40334-5
T3 - Lecture Notes in Computer Science
SP - 450
EP - 462
BT - Proceedings of the 24th International Conference on Applications and Theory of Petri Nets 2003 (ICATPN 2003), 23-27 June 2003, Eindhoven, The Netherlands
A2 - Aalst, van der, W.M.P.
A2 - Best, E.
PB - Springer
CY - Berlin
ER -