CPN Tools

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets.

CPN Tools 4.0 at work
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.

Links

CPN Tools home page

Leave a Reply