Advertisement

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

  • Anne Vinter Ratzer
  • Lisa Wells
  • Henry Michael Lassen
  • Mads Laursen
  • Jacob Frank Qvortrup
  • Martin Stig Stissing
  • Michael Westergaard
  • Søren Christensen
  • Kurt Jensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2679)

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.

Keywords

State Space Liveness Property State Space Analysis Graphical Feedback Syntax Check 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volumes 1–3. Monographs in Theoretical Computer Science. Springer-Verlag (1992–1997)Google Scholar
  2. 2.
    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–132MATHCrossRefGoogle Scholar
  3. 3.
    Design/CPN. Online: http://www.daimi.au.dk/designCPN/.Google Scholar
  4. 4.
    Petri Nets Tool Database. Online: http://www.daimi.au.dk/PetriNets/tools/db.html.Google Scholar
  5. 5.
    CPN2000 Project. Online: http://www.daimi.au.dk/CPnets/CPN2000/.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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–80Google Scholar
  8. 8.
    Standard ML of New Jersey. Online: http://cm.bell-labs.com/cm/cs/what/smlnj/.Google Scholar
  9. 9.
    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/.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Anne Vinter Ratzer
    • 1
  • Lisa Wells
    • 1
  • Henry Michael Lassen
    • 1
  • Mads Laursen
    • 1
  • Jacob Frank Qvortrup
    • 1
  • Martin Stig Stissing
    • 1
  • Michael Westergaard
    • 1
  • Søren Christensen
    • 1
  • Kurt Jensen
    • 1
  1. 1.Department of Computer ScienceUniversity of Aarhus IT-parkenÅrhus NDenmark

Personalised recommendations