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 a recent industrial application using Coloured Petri Nets in the design, validation, and verification of communication protocols for audio/video systems.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A.W. Appel and D.B. MacQueen. Standard ML of New Jersey. In J. Maluszyński and M. Wirsing, editors, Third International Symposium on Programming Languages Implementation and Logic Programming, volume 528 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
A. Cheng, S. Christensen, and K.H. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In M.P. Spathopoulos, R. Smedinga, and P. Kozák, editors, Proceedings of the International Workshop on Discrete Event Systems, WODES96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996.
L. Cherkasova, V. Kotov, and T. Rokicki. On Scalable Net Modeling of OLTP. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France. IEEE Computer Society Press, 1993.
S. Christensen and J.B. Jørgensen. Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. Technical report, Computer Science Department, University of Aarhus, Denmark, 1996.
Meta Software Corporation. Design/OA. Meta Software Corporation, 150 CambridgePark Drive, Cambridge MA 02140, USA.
D.J. Floreani, J. Billington, and A. Dadej. Designing and Verifying a Communications Gateway Using Colored Petri Nets and Design/CPN. In J. Billington and W. Reisig, editors, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, volume 1091 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
H.J. Genrich and R.M. Shapiro. Formal Verification of an Arbiter Cascade. In K. Jensen, editor, Proceedings of the 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK, volume 616 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
B. Grahlmann and E. Best. — PEP — More than a Petri Net Tool. In T. Margaria and B. Steffen, editors, Proceedings of TACAS96, the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, volume 1055 of Lecture Notes in Computer Science, 1996.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International Editions, 1991.
K. Jensen. Design/CPN Online, Computer Science Department, University of Aarhus, Denmark. Online: http://www.daimi.aau.dk/designCPN/.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
K. Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. In J.W. de Bakker and W.-P. de Roever, editors, A Decade of Concurrency, Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
R. Milner, R. Harper, and M. Tofte. The Definition of Standard ML. MIT Press, 1990.
K.H. Mortensen and V. Pinci. Modelling the Work Flow of a Nuclear Waste Management Program. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, volume 815 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
J.L. Rasmussen and M. Singh. Designing a Security System by Means of Coloured Petri Nets. In J. Billington and W. Reisig, editors, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, volume 1091 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
G. Scheschonk and M. Timpe. Simulation and Analysis of a Document Storage System. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, volume 815 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
J.D. Ullman. Elements of ML Programming. Prentice-Hall, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christensen, S., Jørgensen, J.B., Kristensen, L.M. (1997). Design/CPN — A computer tool for Coloured Petri Nets. In: Brinksma, E. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1997. Lecture Notes in Computer Science, vol 1217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035390
Download citation
DOI: https://doi.org/10.1007/BFb0035390
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62790-6
Online ISBN: 978-3-540-68519-7
eBook Packages: Springer Book Archive