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:
- Graphical EDITOR supporting construction, modification and syntax check of CPN models
- Interactive and automatic Simulator
- Occurrence Graph Tool supporting construction and analysis of occurrence graphs
- Availability:
-
- References:
- Design/CPN WWW containing information about the tool and Coloured Petri Nets in general
- Tool description at DAIMI
- Notes:
-
The routines of Design/OA for the manipulation of graphical objects are available to the user via an SML interface.