Design/CPN
Design/CPN is a tool package supporting the use of Coloured Petri Nets
(also known as CP-nets or CPN). It has three integrated parts:
The CPN Editor supports construction, modification and syntax check of
CPN models. The CPN 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/trees). The simulator and the occurrence graph tool
are both implemented in the functional language ML. Furthermore, the tool
language itself (the inscription language) is ML.
- Developer:
University of Aarhus (Denmark) and Meta Software Corporation (Cambridge MA, USA)
- Contact:
Kurt Jensen
Computer Science Department
University of Aarhus
Ny Munkegade, Bldg. 540
DK-8000 Aarhus C
Denmark
Email: designCPN-support@daimi.aau.dk
Voice: +45 8942 3188
- World Wide Web site:
http://www.daimi.aau.dk/designCPN/
- Number of Users:
Unknown
- Number of Sites:
200
- In use:
1989 - present
- Language:
CPN ML, which is SML/NJ with syntactic sugar
- Compilers:
SML/NJ 0.93
- Availability:
Free of charge, with license
- Related Publications:
See the Design/CPN WWW site