What is Design/CPN?

• The CPN Editor supports construction, modification and syntax check of CPN models.
• The CPN Simulator supports interactive and automatic simulation of CPN models.
• The Occurrence Graph Tool supports construction and analysis of occurrence graphs for CPN models (also known as state spaces or reachability graphs/trees).
• The Perfomance Tool supports simulation based performance analysis of CPN models.

The Design/CPN package is one of the most elaborate Petri net tools available. More than 50 person-years have been used for the design and implementation. The early versions of the package were developed by Meta Software Corporation, Cambridge MA, USA, in close cooperation with researchers from the CPN group at University of Aarhus, Denmark. The current versions are distributed, supported and further developed by the CPN group at University of Aarhus, Denmark.

Design/CPN supports CPN models with complex data types (colour sets) and complex data manipulations (arc expressions and guards) - both specified in the functional programming language Standard ML. The package also supports hierarchical CP-nets, i.e., net models that consist of a set of separate modules (subnets) with well-defined interfaces. A typical industrial model often consists of 50-200 modules each with 10-50 different places and transitions.

For further information please consult the Design/CPN WWW pages which are available for you at the following address:

• http://www.daimi.au.dk/designCPN/

• General Information (What is Design/CPN? History of Design/CPN, What is a Coloured Petri Net? Standard ML).
• More Detailed Information (Overview of Design/CPN, Hardware/Software Requirements, How to Become a Design/CPN User).
• Technical Information (On-line Tutorial and Manuals, Tips'n'Tricks, FAQ, Common Problems, Known Bugs in Design/CPN, Known Errors in Design/CPN Manuals, Future Plans for Design/CPN, Proposals from Users).
• Design/CPN E-mail List (What is the Design/CPN E-mail List? How to use the Design/CPN E-mail List, View List of Recent Postings).
• Examples and Libraries (Examples of Design/CPN Models, Design/CPN Libraries, Industrial use of Design/CPN).

Kurt Jensen, CPN Group
University of Aarhus, Denmark
(kjensen@daimi.au.dk)