Table of Contents

CPN Tools

Coloured Petri Net Tools


CPN Tools is 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.


From To Downloads Cumulative downloads
Oct 1, 2016 Sep 30, 2017 9,000 96,000
Oct 1, 2015 Sep 30, 2016 9,000 87,000
Oct 1, 2014 Sep 30, 2015 10,000 78,000