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.
| Tags | Scientific/Engineering |
|---|---|
| Operating Systems | POSIX HP-UX IRIX Linux Solaris |
Recent releases
- 10 Apr 2001 05:38
Changes: This version provides bugfixes, daemon PAM support under Linux, and modifications to the XML output.
- 30 Jan 2001 06:12
Changes: This release adds various bugfixes, a cpnmld-less simulation on the localhost, and XML-based interchange.
- 30 Jan 2001 06:12
Changes: Bugfixes, reswitch-free occurrence graph regeneration, and improvements in the performance and control of the O-graph generation algorithm.
- 30 Jan 2001 06:12
Changes: First freshmeat release.
- All comments
Recent commentsNew 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.