Design/CPN - A Computer Tool for Coloured Petri Nets
DOI:
https://doi.org/10.7146/dpb.v26i511.7040Resumé
In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have been invested in the development of Design/CPN. It is used world-wide by more than 200 companies and research institutions. For the presentation, we draw from the experiences gained in recent industrial application using Coloured Petri Nets in the design, validation, and verification of communication protocols for audio/video systems.Downloads
Publiceret
1997-02-01
Citation/Eksport
Christensen, S., Jørgensen, J. B., & Kristensen, L. M. (1997). Design/CPN - A Computer Tool for Coloured Petri Nets. DAIMI Report Series, 26(511). https://doi.org/10.7146/dpb.v26i511.7040
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.