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.
|Operating Systems||POSIX HP-UX IRIX Linux Solaris|
Release Notes: This version provides bugfixes, daemon PAM support under Linux, and modifications to the XML output.
Release Notes: This release adds various bugfixes, a cpnmld-less simulation on the localhost, and XML-based interchange.
Release Notes: Bugfixes, reswitch-free occurrence graph regeneration, and improvements in the performance and control of the O-graph generation algorithm.
Release Notes: First freshmeat release.