TY - JOUR
T1 - The Practitioner's guide to Coloured Petri Nets
AU - Kristensen, Lars Michael
AU - Christensen, Søren
AU - Jensen, Kurt
PY - 1998
Y1 - 1998
N2 - Coloured Petri nets (CP-nets or CPNs) provide a framework for the desing, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, hardware design, embedded systems, software system designs, and busness process-engineering. Design/CPN is a graphical computer tool supporting the practial use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. the tool is used by more than four hundred commercial companies. It is available free of charge, also for commercial use. This paper provides a comprehensive road map to the practical use of CP-nets and the Design/CPN tool. We give an informal introduction to the basic concepts and ideas underliying CP-nets. The key components and facilities of the Design/CPN tool are presented and their use illustrated. The paper is self-contained and does not assume any prior kowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool
AB - Coloured Petri nets (CP-nets or CPNs) provide a framework for the desing, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, hardware design, embedded systems, software system designs, and busness process-engineering. Design/CPN is a graphical computer tool supporting the practial use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. the tool is used by more than four hundred commercial companies. It is available free of charge, also for commercial use. This paper provides a comprehensive road map to the practical use of CP-nets and the Design/CPN tool. We give an informal introduction to the basic concepts and ideas underliying CP-nets. The key components and facilities of the Design/CPN tool are presented and their use illustrated. The paper is self-contained and does not assume any prior kowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool
KW - High-level Petri nets
KW - Coloured Petri nets
KW - Practical use
KW - Modelling
KW - Validation
KW - Verification
KW - Visualisation
KW - Tool support
U2 - 10.1007/s100090050021
DO - 10.1007/s100090050021
M3 - Journal article
SN - 1433-2779
VL - 2
SP - 98
EP - 132
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 2
ER -