CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

Anne Vinter Ratzer; Lisa Marie Wells; Henry Michael Lassen; Mads Laursen; Jacob Frank Qvortrup; Martin Stig Stissing; Michael Westergaard; Søren Christensen; Kurt Jensen; Willibrordus Martinus Pancratius van der Aalst; Elke Best

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

Anne Vinter Ratzer, Lisa Marie Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen, Willibrordus Martinus Pancratius van der Aalst (Editor), Elke Best (Editor)

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Applications and Theory of Petri Nets 2003
Editors	Wil van der Aalst, Eike Best
Number of pages	13
Volume	2679
Publisher	Springer
Publication date	2003
Pages	450-462
ISBN (Print)	3-540-40334-5
Publication status	Published - 2003
Event	International Conference on Applications and Theory of Petri Nets. ICATPN 2003 - Eindhoven, Netherlands Duration: 23 Jun 2003 → 27 Jun 2003 Conference number: 24

Conference

Conference	International Conference on Applications and Theory of Petri Nets. ICATPN 2003
Number	24
Country/Territory	Netherlands
City	Eindhoven
Period	23/06/2003 → 27/06/2003

Series	Lecture Notes in Computer Science
Volume	2679
ISSN	0302-9743

Cite this

Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (Ed.), & Best, E. (Ed.) (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In W. V. D. Aalst, & E. Best (Eds.), Applications and Theory of Petri Nets 2003 (Vol. 2679, pp. 450-462). Springer.

@inproceedings{e5a8c05098d511dcbee902004c4f4f50,

title = "CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets",

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.",

author = "Ratzer, {Anne Vinter} and Wells, {Lisa Marie} and Lassen, {Henry Michael} and Mads Laursen and Qvortrup, {Jacob Frank} and Stissing, {Martin Stig} and Michael Westergaard and S{\o}ren Christensen and Kurt Jensen and Aalst, {Willibrordus Martinus Pancratius van der} and Elke Best",

year = "2003",

language = "English",

isbn = "3-540-40334-5",

volume = "2679",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "450--462",

editor = "Aalst, {Wil van der} and Eike Best",

booktitle = "Applications and Theory of Petri Nets 2003",

address = "Netherlands",

note = "International Conference on Applications and Theory of Petri Nets. ICATPN 2003 ; Conference date: 23-06-2003 Through 27-06-2003",

}

Ratzer, AV, Wells, LM, Lassen, HM, Laursen, M, Qvortrup, JF, Stissing, MS, Westergaard, M, Christensen, S , Jensen, K, Aalst, WMPVD (ed.) & Best, E (ed.) 2003, CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. in WVD Aalst & E Best (eds), Applications and Theory of Petri Nets 2003. vol. 2679, Springer, Lecture Notes in Computer Science, vol. 2679, pp. 450-462, International Conference on Applications and Theory of Petri Nets. ICATPN 2003, Eindhoven, Netherlands, 23/06/2003.

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. / Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael et al.
Applications and Theory of Petri Nets 2003. ed. / Wil van der Aalst; Eike Best. Vol. 2679 Springer, 2003. p. 450-462 (Lecture Notes in Computer Science, Vol. 2679).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

AU - Ratzer, Anne Vinter

AU - Wells, Lisa Marie

AU - Lassen, Henry Michael

AU - Laursen, Mads

AU - Qvortrup, Jacob Frank

AU - Stissing, Martin Stig

AU - Westergaard, Michael

AU - Christensen, Søren

AU - Jensen, Kurt

A2 - Aalst, Willibrordus Martinus Pancratius van der

A2 - Best, Elke

A2 - Aalst, Wil van der

A2 - Best, Eike

N1 - Conference code: 24

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.

M3 - Article in proceedings

SN - 3-540-40334-5

VL - 2679

T3 - Lecture Notes in Computer Science

SP - 450

EP - 462

BT - Applications and Theory of Petri Nets 2003

PB - Springer

T2 - International Conference on Applications and Theory of Petri Nets. ICATPN 2003

Y2 - 23 June 2003 through 27 June 2003

ER -

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

Abstract

Conference

Fingerprint

Cite this