CPN Tools
无广告
无病毒
官方版
- 更新时间 2024-04-09
- 版本 V4.0.1
- 系统 WinXP/Win2K/Vista/Win7/Win8/Win10
- 分类 图形设计
软件介绍
CPN Tools官方版是一个专用于有色Petri网编辑、模拟和分析的工具，提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中，CPN Tools4.0.1是当前最新版，有着很好的GUI，易于使用。
查看详情
软件特色
1.支持基础着色Petri网建立模型
2.支持带有时间和分层的着色petri网建立模型
3.支持CPN ML编程语言，颜色集，时间，层次化建模等
4.提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。
