CPN Tools是一款好用的着色Petri工具，主要用于Petri网的编辑、模拟和分析，具有增量的语法检查和代码生成功能，可生成和分析完整的状态空间，快速模拟器可有效处理不定时和定时网络。需要的朋友可以来本站下载！

CPN Tools 4新功能：

1、声明约束

2、位置转换Petri网

3、新类型(IntInf，real，time)

4、次要功能

.模型统计

.模拟停止标准

.简化的状态空间分析

5、消息序列图

6、时间间隔和时间缩短

7、扩展：

.基本

.入门和基本抽象

.图形和回调

CPN Tools安装教程

1、运行安装程序，进入安装向导界面，点击next

2、选择安装目的地，默认的是C:Program Files (x86)CPN Tools，可以点击文件夹图标选择

3、选择安装组件，可以将不需要的选项勾选掉，建议保持默认

4、点击next开始安装

5、安装完成就可以使用了

常见问题

1、CPN Tools是否利用多核处理器?

不，CPN Tools使用两个过程：一个用于GUI，一个用于模拟器，它们都是单线程的。使用Access / CPN，您可以在不同的模拟器上分发模拟，但目前还没有完成任务。

2、无法模拟模型/模型保持橙色

文件位置[0] CPN工具模拟器在单独的环境(在Cygwin下)运行，这可能在读取存储在“奇怪位置”的.cpn模型文件时出现问题。尝试将模型保存在没有特殊字符的目录/文件名中(没有空格，只有基本的ASCII字符，例如A-Z，0-9，_)。过时的首选项文件[1]首先，尝试删除陈旧的preferences.xml文件

3、为什么没有保存模拟报告?

在CPN Tools 1.4.0版(及更早版本)中，帮助页面指出模拟报告保存在目录C： tmp中。如果此目录不存在，则不会保存模拟报告。默认情况下，模拟报告保存为C： tmp simrep- .txt。但是，如果C：磁盘驱动器上未安装CPN Tools，则会出现问题。

4、为什么我在启动CPN Tools时无法看到GUI?

如果您在最小化时关闭了CPN工具，则可能会出现此问题。这是一个已知的错误，已从3.0.0版开始修复，但如果从设置中删除监视器，可能仍会发生。

如果您可以在任务栏中看到CPN工具的图标，则只需右键单击任务栏中的“CPN工具”窗口，然后选择“最大化”。然后退出CPN Tools并再次启动它。