CPN Tools
CPN Tools安装教程
CPN Tools官方版是一款十分优秀和实用的建模工具。CPN Tools官方版软件不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools中文版还提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。
CPN Tools软件介绍
CPN Tools是一款集编辑、设计与仿真以及分析于一身的有色Petri Net(CPN)工具，即Colored Petri nets，CPN Tools4.0.1是当前最新版，有着很好的GUI，易于使用。
CPN Tools软件功能
对需要的着色petri网进行模型的建立
并且还对拥有时间、分层的着色petri网建立模型进行支持
对用户经常使用的CPN ML编程语言支持
根据自己的需求对颜色进行选择，包括了对时间的设置
层次化的建模支持，对各种丰富的模型分析工具进行提供
内置的监视器相当的实用，完成对空间状态的分析等
CPN Tools软件优势 第三部分扩展
非彩色网的简化使用
支持出口到PNML
支持实时和彩色集
改进的时间支持(时间间隔和状态空间缩减)
简化状态空间分析
CPN Tools软件特色
CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。
CPN Tools安装步骤
1.在完美下载下载CPN Tools最新版软件包
2.解压CPN Tools软件，运行文件
3.双击打开,进入CPN Tools软件界面，点击下一步
4. 选择安装位置，点击下一步
5.选择安装组件，点击下一步
6.CPN Tools软件安装完成，进入软件界面
CPN Tools使用说明
1、进入软件的主界面，对需要使用的相关功能进行选择;
2、拥有相当丰富的知识库，可以让用户进行学习;
3、对相关的文档进行快速的查看;
CPN Tools更新日志
开发GG说这次真的没有bug了~
