CPN Tools官方版是一个专用于有色Petri网编辑、模拟和分析的工具,提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中,CPN Tools有着很好的GUI,易于使用。
1.支持基础着色Petri网建立模型
2.支持带有时间和分层的着色petri网建立模型
3.支持CPN ML编程语言,颜色集,时间,层次化建模等
4.提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
DreamPlan Home Design
4.78 MB/2024-01-31
我家我设计
46.4MB/2024-04-24
3D Home Architect Deluxe
32.88MB/2016-11-24
SketchUp
401MB/2024-06-07
CorelDRAW
1.68MB/2024-06-26
荣耀手机助理53.4MB|2024-12-17
汇帮注音大师25.2MB|2024-12-17
福昕PDF转换大师17.9MB|2024-12-17
汇帮水印大师25.2MB|2024-12-17
汇帮音频大师24.9MB|2024-12-17
c32asm2.63MB|2024-12-17
联想应用商店181.5MB|2024-12-17
U盘内存卡批量只读加密专家16.2MB|2024-12-17
GeoGebra111MB|2024-12-17
友情链接
Copyright (©) 2024