当前位置：所有分类CPN Tools下载

CPN Tools

4.0.1

软件大小：15.5 MB
更新时间：2024-01-31
星级指数：
软件平台：电脑版
软件语言：简体中文
系统类型：支持32/64位
下载次数：729
安全监测：[无病毒, 正式版, 无插件]
操作系统：winall/win7/win10/win11

本地纯净下载纯净官方版

软件介绍

未标题-2.jpg 　　CPN Tools官方版是一个专用于有色Petri网编辑、模拟和分析的工具，提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中，CPN Tools有着很好的GUI，易于使用。

软件特色

　　1.支持基础着色Petri网建立模型

　　2.支持带有时间和分层的着色petri网建立模型

　　3.支持CPN ML编程语言，颜色集，时间，层次化建模等

　　4.提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。

软件图集

相关软件推荐

软件更新

友情链接

联系我们问题反馈网站地图

Copyright (©) 2024