Projects / Design/CPN

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
Operating Systems

RSS Recent releases

  •  10 Apr 2001 05:38

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

  •  30 Jan 2001 06:12

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

    •  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.

      •  30 Jan 2001 06:12

        Release Notes: First freshmeat release.

        RSS Recent comments

        07 May 2000 22:28 Avatar 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.

        Screenshot

        Project Spotlight

        aria2

        A multi-protocol, multi-source, cross-platform download utility.

        Screenshot

        Project Spotlight

        skalibs

        Public domain general-purpose libraries.