软件介绍/功能
CPN Tools官方版是一个专用于有色Petri网编辑、模拟和分析的工具,提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中,CPN Tools4.0.1是当前最新版,有着很好的GUI,易于使用。

软件特色
1.支持基础着色Petri网建立模型
2.支持带有时间和分层的着色petri网建立模型
3.支持CPN ML编程语言,颜色集,时间,层次化建模等
4.提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
历史版本
版本
属性
语言
系统版本
更新时间
操作
- CPN Tools4.0.1 正式版 简体中文 win7或更高版本 2018-06-25