CPN Tools(Petri网建模软件)

CPN Tools(Petri网建模软件)是一款非常实用的快速模拟器工具。最新版本的CPN Tools功能强大、绿色紧凑，支持网络构建过程中的增量语法检查和代码生成。它可以有效地处理不规则和定时网络。操作简单，使用方便。该软件集编辑、设计和仿真分析于一体。有需要就来下载吧。

软件功能

1.简化使用非彩色网格的功能。

2.支持导出到PNML。

3.支持实时和时间颜色集。

4.提高支持时间(时间间隔和状态空间减小)。

5.简化状态空间的分析。

6、全新界面，使用更方便。

软件特色

CPN Tools(Petri网建模软件)不仅支持基本有色petri网的建模，还支持带时间和层次的有色Petri网的建模。CPN Tools支持CPN ML编程语言、颜色集、时间、层次建模等。同时，CPN Tools提供了丰富的模型分析工具，如monitor、状态空间分析等。，增强了模型分析能力和模型验证能力。

常见问题

1.CPN工具使用多核处理器吗?

不，CPN Tools使用两个进程:一个用于GUI，另一个用于simulator，都是单线程的。有了Access/CPN，你也许可以把一个模拟器分配给不同的模拟器，但是你还没有完成任何工作。

2.我可以在Mac/Linux上运行CPN工具吗?

随着采用英特尔技术的Mac电脑的出现，虚拟化解决方案可用于在装有Mac OS X 10.4及更高版本的Mac电脑上运行Windows。CPN工具可以在这种环境下运行，有合理的日常使用性能。我使用的方式是在Parallels Desktop(www.parallels.com)或VMware Fusion (www.vmware.com)下的Windows下运行CPN Tools。你也可以。。]

3.无法模拟模型/模型保持橙色。

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

4.CPN工具可以从Design/CPN打开模型吗?

CPN Tools无法打开Design/CPN创建的模型，但可以通过以下步骤将Design/CPN中创建的所有模型转移到CPN Tools:将Design/CPN模型保存为XML格式。将Design/CPN生成的XML文件转换成CPN工具的XML格式。将转换器生成的文件加载到CPN工具中。

5.为什么模拟报告没有保存?

在CPN Tools 1 . 4 . 0版(及更早版本)中，帮助页面指示仿真报告保存在目录C: \ tmp中。如果该目录不存在，模拟报告将不会被保存。默认情况下，模拟报告保存为C: \ tmp \ simrep-Process ID.txt。但是，如果c盘驱动器上没有安装CPN Tools，就会出现问题。

6.为什么我尝试打开网络时工具会崩溃?

在1.5.7版本之前，当网络加载了带有语法错误的语句时，该工具会崩溃。请将CPN工具更新到较新的版本。

7.为什么启动CPN工具时看不到GUI?

如果最小化时关闭了CPN工具，可能会出现此问题。这是一个已知的错误，自3.0.0版以来已得到修复，但如果从设置中删除显示器，它可能仍然会出现。如果您可以在任务栏中看到CPN工具的图标，只需右键单击任务栏中的CPN工具窗口，然后单击。

8.为什么我不能为一个时控网络生成一个状态空间?

由于状态空间工具中的错误，无法为定时CP网络生成状态空间。此错误发布在所有外部版本(包括1.4.0版)和所有内部版本(包括1.5.21版)中。请将CPN工具更新到较新的版本。

9.为什么监视器的日志文件是空的?

这可能是因为数据收集器监控器和文件监控器写入的日志文件的输出流没有定期刷新。如果使用快进工具运行模拟，或者因为满足断点监视器而停止模拟，监视器日志文件的输出流将总是在模拟结束时刷新。