论文信息 - DESIGN/CPN — Coloured Petri Nets

DESIGN/CPN — Coloured Petri Nets

Design/CPN was initially developed by Meta Software Corp., Cambridge MA, USA, and the Cpn Group at the University of Arhus, Denmark. Now, distributed and maintained by the Cpn Group, the tool is free of charge and used by more than six hundred organizations, (a hundred of which are industrial) in fifty countries. It is available on the Internet 1.

[1] Kurt Jensen,et al. Practical Use of High-level Petri Nets , 2000 .

[2] Luc Lamontagne,et al. A Colored Petri Net Model for a Naval Command and Control System , 1993, Application and Theory of Petri Nets.

[3] Henning Clausen,et al. Validation and performance analysis of network algorithms by coloured Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[4] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[5] Søren Christensen,et al. Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets , 1997, ICATPN.