Design/CPN

Design/CPN is a graphical tool supporting the use of Hierarchical Timed Coloured Petri Nets. The Editor supports construction, modification, and syntax check of CPN models. The 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). The Perfomance Tool supports simulation-based performance analysis of CPN models.

• Release tags
• All releases

Recent releases

• 
• 4.0.5

• 
•  10 Apr 2001 05:38
• 

• Minor bugfixes

Release Notes: This version provides bugfixes, daemon PAM support under Linux, and modifications to the XML output.

• 
• 4.0.4

• 
•  30 Jan 2001 06:12
• 

Release Notes: This release adds various bugfixes, a cpnmld-less simulation on the localhost, and XML-based interchange.

• 
• 4.0.3

• 
•  30 Jan 2001 06:12
• 

Release Notes: Bugfixes, reswitch-free occurrence graph regeneration, and improvements in the performance and control of the O-graph generation algorithm.

• 
• 4.0.2

• 
•  30 Jan 2001 06:12
• 

Release Notes: First freshmeat release.

• All comments

Recent comments

07 May 2000 22:28 mafarrin

New fast simulation engine
The CPN Group at DAIMI announced on May 02nd 2000 a new simulation engine which delivers up to a one thousand-fold increase in the speed of automatic simulations.