Design/CPN - A Computer Tool for Coloured Petri Nets
DOI:
https://doi.org/10.7146/dpb.v26i511.7040Abstract
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
Published
1997-02-01
How to Cite
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
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.