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.