Design/CPN - A Computer Tool for Coloured Petri Nets

Søren Christensen; Jens Bæk Jørgensen; Lars Michael Kristensen

doi:10.7146/dpb.v26i511.7040

Design/CPN - A Computer Tool for Coloured Petri Nets

Authors

Søren Christensen
Jens Bæk Jørgensen
Lars Michael Kristensen

DOI:

https://doi.org/10.7146/dpb.v26i511.7040

Abstract

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