Aarhus University Seal

Overview Paper

K. Jensen, L.M. Kristensen, L. Wells: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, 9 (2007), Springer Verlag, 213-254.

  • Keywords: Introduction to CP-nets, Simulation, State spaces, Occurrence graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
  • Comments: This paper provides a comprehensive road map to the practical use of CP-nets and CPN Tools. The paper is self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with CPN Tools.
  • Abstract
  • PDF-file
  • @ Springer-Verlag. The original publication is available on Springer LINK.