软件介绍
CPN Tools官方版是来自丹麦的奥尔胡斯大学的一款专用于有色Petri网编辑、模拟和分析的工具。CPN即Colored Petri nets的缩写，它提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。
值得一提的是，CPN Tools还具有增量语法检查和代码生成功能，不仅可在网络构建时进行，快速模拟器可有效处理不定时和定时网络
详细信息
| 软件大小 | 15.56M |
| 当前版本 | v4.0.1 |
| 软件语言 | 英文 |
| 软件类型 | 科学分析 |
| 更新时间 | 2026-10-29 |
