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.

Do I Need to be a Genius to use Design/CPN?