CPN Tools最新版是一个相当实用的快速模拟器工具,CPN Tools最新版功能强大,绿色小巧,支持网络构建时进行具增量语法检查和代码生成。可以有效地处理不定时和定时的网络,操作简单易上手,软件集编辑、设计与仿真分析于一体,有需要的快来下载吧。
使用说明
n you are ready to continue. The installer could not find a valid Java(tm) on this machine. Click on a component to get detailed description
Supported versions:
Vendor : Any min. 1.6 max. any
看到这个提示说明你的电脑没有安装JAVA运行环境。
软件特色
1、简化使用非有色网的功能。
2、支持出口到PNML。
3、支持实时和时间colorsets。
4、改进支持时间(时间间隔和状态空间减少)。
5、简化状态空间分析。
6、全新界面,使用更方便。
常见问题
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、为什么显示器的日志文件为空?
这可能是由于数据收集器监视器和文件写入文件监视器的日志文件的输出流没有定期刷新。如果使用快进工具运行模拟,或者由于满足断点监视器而停止模拟,则监视器日志文件的输出流将始终在模拟结束时刷新。
配音鱼是一款专业好用的配音软件,支持将文字快速转换成声音,还提供了丰富的配音模板和音频素材,包括多种人物声线、方言、英语及小语种等,满足用户多样的配音需求。配音鱼支持实时在线配音、...
易谱Ziipoo支持各种制作乐谱的实用功能,可以帮助用户轻松快速地制作吉他乐谱、五线谱乐谱等多种风格的乐谱。易谱Ziipoo提供了自动排版、动态乐谱等多项功能,满足不同用户制作乐谱的需求,操作...
熊猫DJ软件官方版提供海量音乐资源,包含抖音热门歌曲、车载音乐、车载大碟等类型,满足不同用户的音乐喜好。熊猫DJ软件官方版每天都会发布最新最热的DJ舞曲,支持用户在线搜索与快速下载,还提...
小赛看看是一款操作便捷的免费医学影像DICOM浏览软件,支持MPR浏览、PET-CT图像融合、SUV测量等功能。小赛看看可以打开并处理包括CT、MRI、PET-CT及SPECT在内的多种医学影像格式,还支持用户把...
水印云官方安装版是一款功能全面的水印处理软件,提供水印添加、编辑与去除功能,为用户提供极大便利。它不仅支持图片的批量处理,还允许用户自定义水印样式。软件界面简洁清晰,操作直观,欢迎...
斗鱼直播伴侣是一款功能全面的直播辅助工具,提供了直播推流、场景设置、弹幕互动等功能,满足不同主播的直播需求。斗鱼直播伴侣内置庞大的素材库与特效模板,助力主播快速构建独一无二的直播间...
发表评论
共0条
评论就这些咯,让大家也知道你的独特见解
立即评论以上留言仅代表用户个人观点,不代表系统之家立场