Coloured Petri Net Tools
Description
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.
Downloads
| From | To | Downloads | Cumulative downloads |
|---|---|---|---|
| Oct 1, 2023 | Sep 30, 2024 | 13,000 | 205,000 |
| Oct 1, 2022 | Sep 30, 2023 | 12,500 | 192,000 |
| Oct 1, 2021 | Sep 30, 2022 | 35,000 | 179,500 |
| Oct 1, 2020 | Sep 30, 2021 | 21,000 | 144,500 |
| Oct 1, 2019 | Sep 30, 2020 | 9,000 | 123,500 |
| Oct 1, 2018 | Sep 30, 2019 | 9,000 | 114,500 |
| Oct 1, 2017 | Sep 30, 2018 | 9,500 | 105,500 |
| 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 |
Links
- CPN Tools (includes downloads)