CPN Tools是一款集编辑、设计与仿真以及分析于一身的有色Petri Net(CPN)工具,即Colored Petri nets,CPN Tools4.0.1是当前最新版,有着很好的GUI,易于使用。
软件特色
CPN Tools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言,颜色集,时间,层次化建模等。同时,CPN Tools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
版权声明:CPN Tools(建模工具)所展示的资源内容均来自于第三方用户上传分享,您所下载的资源内容仅供个人学习交流使用,严禁用于商业用途,软件的著作权归原作者所有,如果有侵犯您的权利,请来信告知,我们将及时撤销。
软件下载信息清单:
驱动文件名称 | 发布日期 | 文件大小 | 下载文件名 |
---|---|---|---|
CPN Tools(建模工具)安装包 | 2024年11月30日 | 15.5M | cpntools401.zip |
软件评论