DESIGN/CPN

DESIGN/CPN is a tool package supporting modelling, simulation and verification by means of hierarchical Coloured Petri Nets (with or without time).
Environment:
SUN Sparc with Solaris, MAC
Origin:
Department of Computer Science, University of Aarhus, Denmark
Kind of Nets supported:
Hierarchical Coloured Petri Nets with or without time
Functionalities:
The tool consists of three integrated parts:
Availability:
References:
Notes:
The routines of Design/OA for the manipulation of graphical objects are available to the user via an SML interface.

Tool List Home