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.
|Oct 1, 2017||Nov 30, 2017||2,000||98,000|
|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|