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.
- @ Springer-Verlag. The original publication is available on Springer LINK.