CPN Tools V4.0.2正式版

软件分类：媒体工具
软件大小： 15.56 MB
软件语言：简体中文
授权方式：免费软件
运行环境： Win ALL
更新时间： 2022-09-03

猜您喜欢

软件介绍
下载地址
同类推荐
相关文章

CPN Tools正式版是来自丹麦的奥尔胡斯大学的一款专用于有色Petri网编辑、模拟和分析的工具。CPN即Colored Petri nets的缩写，它提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。CPN Tools具有增量语法检查和代码生成功能，可在网络构建时进行。快速模拟器可有效处理不定时和定时网络。可以生成和分析完整和部分状态空间，并且标准状态空间报告包含诸如有界性属性和活性属性之类的信息。有需要的小伙伴快来下载吧。

CPN Tools v4.0.2正式版

CPN Tools正式版介绍

CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证（MC）的能力。

CPN Tools正式版特色

1、简化使用非有色网的功能。

2、支持出口到PNML。

3、支持实时和时间colorsets。

4、改进支持时间（时间间隔和状态空间减少）。

5、简化状态空间分析。

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

CPN Tools正式版功能

制图 - 从Adobe Illustrator内导入2D元素，或直接在CPN Tools内绘制2D对象。

建模 - 具备大量建模选项。使用熟悉的Bezier样条实现3d建模;以Quad多义线取代传统的多边形;表面元混合对象;锻压模型;布尔联合或相减;镜像建模等。

浏览 - 从多个角度检查作品。CPN Tools带有分割视窗，多视窗，等高线，针对相机和光源的专门视窗。

环境 - 有时外围空间对作品而言非常重要，CPN Tools带有多种选项，并提供一个使用方便的界面，实现对外围空间的控制。

光照 - 光照能够提升作品效果，CX为您提供了点光源、聚束光、全局太阳光、环境灯罩、高动态范围图象光、发光表面、胶体光，所有这些光源的使用都不受限制，而且完全可控。

渲染 - 高品质渲染特性。渲染是将作品整合并创建最终图像的过程。

动画 - 提供简单的动画方法，以动画展现作品。动画控制方式非常简单，包括关键帧、时间轴、脚本。

纹理 - 使用简单，同拖放操作类似。CX提供纹理面板，带有数百种预先设置的表面纹理，您也可以制作自定义纹理，制作的纹理类似于活动链接到Photoshop文件，在Photoshop内做出更改后，CX将自动更新模型表面。

CPN Tools正式版安装教程

1、在本站下载该软件，并解压双击应用程序进入安装界面，点击“next”

CPN Tools v4.0.2正式版

2、更改软件安装目录

CPN Tools v4.0.2正式版

3、安装完成后即可使用

CPN Tools v4.0.2正式版

CPN Tools正式版常见问题

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

不，CPN Tools使用两个进程：一个用于GUI，另一个用于模拟器，它们都是单线程的。使用Access / CPN你可能能够在不同的模拟器上分配一个模拟器，但是目前还没有完成任何工作。

2、我可以在我的Mac / Linux上运行CPN Tools吗？

随着采用英特尔技术的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：以XML格式保存Design / CPN模型。将Design / CPN生成的XML文件转换为CPN Tools的XML格式。将转换器生成的文件加载到CPN工具中。

5、为什么模拟报告没有保存？

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

6、为什么当我尝试打开网络时该工具崩溃？

在版本1.5.7之前，当使用带语法错误的声明加载网络时，该工具会崩溃。请将CPN Tools更新到更新的版本。

7、为什么启动CPN Tools时无法看到GUI？

如果在最小化时关闭了CPN工具，则可能会出现此问题。这是一个已知的bug，从版本3.0.0开始已经修复，但如果从设置中删除监视器，则可能仍会出现此bug。如果您可以在任务栏中看到CPN Tools的图标，只需右键单击任务栏中的CPN Tools窗口，然后单击。

8、为什么我无法为定时网络生成状态空间？

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

9、为什么显示器的日志文件为空？

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

点击查看更多：辅助设计

下载地址下载后不会用？点击查看 CPN Tools V4.0.2正式版使用说明！