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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Anne Vinter Ratzer, Denmark
  • Lisa Marie Wells, Denmark
  • Henry Michael Lassen, Denmark
  • Mads Laursen, Denmark
  • Jacob Frank Qvortrup, Denmark
  • Martin Stig Stissing, Denmark
  • Michael Westergaard, Denmark
  • Søren Christensen
  • Kurt Jensen
  • Willibrordus Martinus Pancratius van der Aalst, Denmark
  • Elke Best, Denmark
  • Department of Computer Science
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 languageEnglish
Title of host publicationApplications and Theory of Petri Nets 2003
EditorsWil van der Aalst, Eike Best
Number of pages13
Volume2679
PublisherSpringer
Publication year2003
Pages450-462
ISBN (print)3-540-40334-5
Publication statusPublished - 2003
EventInternational Conference on Applications and Theory of Petri Nets. ICATPN 2003 - Eindhoven, Netherlands
Duration: 23 Jun 200327 Jun 2003
Conference number: 24

Conference

ConferenceInternational Conference on Applications and Theory of Petri Nets. ICATPN 2003
Nummer24
LandNetherlands
ByEindhoven
Periode23/06/200327/06/2003
SeriesLecture Notes in Computer Science
Volume2679
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 283373