-
CPN Tools(着色petri网工具)
-
大小：15.56M
更新时间：24-02-28
系统：Pc
版本：v4.0.1
大小：15.56M
更新时间：24-02-28
系统：Pc
版本：v4.0.1
CPN Tools官方版是来自丹麦的奥尔胡斯大学的一款专用于有色Petri网编辑、模拟和分析的工具。CPN即Colored Petri nets的缩写，它提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。
值得一提的是，CPN Tools还具有增量语法检查和代码生成功能，不仅可在网络构建时进行，快速模拟器可有效处理不定时和定时网络，还可以生成和分析完整和部分状态空间，为用户提供标准状态空间报告包含诸如有界性属性和活性属性之类的信息，软件并且仍在不断地完善中，有需求的用户请下载体验！
1、对需要的着色petri网进行模型的建立。
2、并且还对拥有时间、分层的着色petri网建立模型进行支持。
3、对用户经常使用的CPN ML编程语言支持。
4、根据自己的需求对颜色进行选择，包括了对时间的设置。
5、层次化的建模支持，对各种丰富的模型分析工具进行提供。
6、内置的监视器相当的实用，完成对空间状态的分析等。
1、第三部分扩展。
2、非彩色网的简化使用。
3、支持出口到PNML。
4、支持实时和彩色集。
5、改进的时间支持(时间间隔和状态空间缩减)。
6、简化状态空间分析。
CPN Tools功能丰富，其教程并不是一个范例就能概括，小编这里使用CPN Tools工具做一个登录模型作为说明，更过功能请参照CPN Tools的帮助文档。
提示：CPN Tools是需要JAVA环境的，所以记得提前配好JAVA环境程序才能正常运行。
1、首先打开CPN Tools程序，点击右键选择New Net，这样就新建了一个Net
2、把工具箱中的Create和Simulation拖到面板上
3、画place和transition及其连接
①在左侧Declarations下定义声明，右击Declarations新建decl
②新建红色框里的decl（前后顺序不能乱）
③给place和transition中写上名字send，p1，receive
④选中send点击键盘上的Tab键把出现的UNIT改成INTxData，然后同样选中receive点击键盘上的Tab键把出现的UNIT改成DATA
⑤点击第一条带箭头的线，把expr改成（n，p），点击第二条带箭头的线，把expr改成if n=3 andalso p=”three” then “success” else “fail”（这句话的意思是如果用户名是3，密码是three则登录成功显示success，否则登录失败fail）
4、初始化数据
①选中send点击键盘上的Tab键两下，把出现的INIT MARK改成
②点击Sim工具中的箭头运行
5、至此一个简单的登录模型就完成了
v4.0.1版本
1、声明约束
2、位置转换Petri网
3、新类型（IntInf，real，time）
4、次要功能
.模型统计
.模拟停止标准
.简化的状态空间分析
5、消息序列图
6、时间间隔和时间缩短
7、扩展：
.基本
.入门和基本抽象
.图形和回调
同类热门
autocad2007破解版
酷家乐电脑版
chemdraw20破解版
墨刀电脑版
lighttools(光学建模软件)
CUPCAD结构辅助设计软件 for AutoCAD2006
caxacam线切割2023安装包
EnSight可视化与后期处理软件
类似软件
uml建模工具(StarUML)190.93M859人在用 StarUML是一款免费开源的uml建模工具，用户使用它可以创建用例图、类图、序列图、状态图、活动图、通信图、模块图、部署图和复合结构图等UML图形，软件灵活、可扩展性强，能够支持XMI、JPG、JPEG、BMP、EMF和WMF等多种格式、支持23
查看热门标签
网友评论0人参与，0条评论
最新排行
star ccm+2020中文版3.59G simcenter star- ccm+2020简称为star ccm+2020，这是由西门子推出的一款设备仿真分析求解器，用于仿真在现实条件下运行的产品和设计，旨在轻松地适合您现有的工程流程，帮助用户实现模拟工作流的全自动化，并利用最少的用户互动
查看
pvsyst中文版(光伏系统仿真模拟软件)269.92Mv7.4.7 pvsyst中文版是一款非常著名的光伏系统仿真模拟软件，提供了光伏发电系统仿真初步设计工具、工程设计工具、数据库设备管理和结果模拟比较等工具，可轻松计算出发电总量，非常适用于并网系统、离网系统、水泵和直流系统等领域。同时pvsyst软件含有丰富的N
查看
chemdraw20破解版517.45Mv20.0.0.41免激活码 chemdraw20是一款多功能的智能电脑化学绘图软件，尤其在生物与化学方面该软件有着难以替代的作用，可谓是化学智能绘图程序的行业领跑者，通过它不仅可以帮助用户轻松绘制出有机材料、有机金属、聚合材料和生物聚合物（包括氨基酸、肽、DNA 及 RNA
查看
MoldWorks(3D模具设计软件)219.3Mv2018免费版MoldWorks 2018是一款功能强大的3D模具设计工具，该软件CAMD中加入特定工艺的模具制作知识。MoldWorks（3D模具设计软件）拥有超过15个商业组件库，具有热交换模块、通风模块、Runners＆Gates模块等等，轻松设计出需要的模具，
查看
trnsys18破解版330.36M附安装教程trnsys18是一款极其灵活、形象的、模块化的瞬态过程模拟软件，凭借它，你能够对多种系统的运行状况进行动态仿真，如建筑物全年的逐时能耗分析、太阳能（太阳热和光伏系统）系统模拟计算、地板辐射供暖、供冷系统模拟计算等等，且广泛用于模拟太阳能应用，常规建筑甚
查看
CFTurbo 2021r2破解版110.84M附安装教程CFTurbo 2021r2是由CFturbo Software&Engineering GmbH公司全新推出的一款交互式且用户友好的涡轮机械设计软件，该软件在泵、压缩机、风机等旋转机械领域的仿真分析中应用广泛，作为一个便捷高效的工程设计软件，同
查看
artcam2008破解版700.7MArtCAM是国内用的最多的雕刻软件之一，同类的产品包括国产软件jdpaint、法国知名精雕软件type3，它们绝对是雕刻软件上的王者，并迅速占领了中国雕刻市场。在2D方面，type3和jdpaint在平面切割的处理上都要好于artcam，但在浮雕方面，
查看
flexsim2017181M7.5.4中文版Flexsim是一款基于Windows的3D模拟仿真软件，它是世界上第一个在图形环境中集成C++IDE和编译器的仿真软件。它用于建立离散事件流程过程，如材料处理、医疗卫生、仓储、采矿、物流等可视化制造行业。拥有强大的分析、统计跟踪、自定义控件和界面、Op
查看
