CPN Tools是一款集编辑、设计与仿真以及分析于一身的有色Petri Net(CPN)工具,即Colored Petri nets,CPN Tools4.0.1是当前最新版,有着很好的GUI,提供丰富的模型分析工具,如监视器,状态空间分析等功能。需要的朋友可以前来本站下载。
软件特色
CPN Tools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言,颜色集,时间,层次化建模等。同时,CPN Tools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
安装步骤
1、在本站下载该软件,并解压双击应用程序进入安装界面,点击“next”

2、更改软件安装目录

3、安装完成后即可使用



|