CPN Tools
A tool for editing, simulating, and analyzing Colored Petri nets
The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space report contains information, such as boundedness properties and liveness properties.
New Features in Version 4.0
Declarative constraints 3rd part extensions Simplified use of non-colored nets Support for export to PNML Support for real and time colorsets Improved support for time (time intervals and state-space reduction) Simplified state-space analysis Fresh new look |
CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands.