大小: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、扩展:
.基本
.入门和基本抽象
.图形和回调
同类热门
类似软件
uml建模工具(StarUML)190.93M791人在用 StarUML是一款免费开源的uml建模工具,用户使用它可以创建用例图、类图、序列图、状态图、活动图、通信图、模块图、部署图和复合结构图等UML图形,软件灵活、可扩展性强,能够支持XMI、JPG、JPEG、BMP、EMF和WMF等多种格式、支持23
查看sketchup草图大师2015中文破解版218.91M11378人在用sketchup2015又叫草图大师2015,它是谷歌公司最近推出的一款最新的3D建模软件,官方将它比喻作电子设计中的“铅笔”,其主要特点就是使用快速、可靠、有趣。使用sketchup2015设计师们可以在很短的时间完成大型的3D设计,兼容和扩展性很好,
查看热门标签
网友评论0人参与,0条评论
最新排行
star ccm+2310中文版4.41Gv18.06.006 star ccm+2310中文版是一款为功能强大的多学科仿真平台,可以帮助用户处理流体和固体连续体力学中的多学科问题,拥有全面的工程物理模拟,其所有操作均在单一的集成用户界面中即可完成。该软件拥有导入并创建几何、网格生成、控制方程求解、结果分析、设
查看axure rp 9官方版108.25Mv9.0.0.3740 axure rp 9官方版是axure9系列软件的专业版本,也是目前设计人员使用最多的交互原型设计软件之一,可以辅助产品经理快速设计完整的产品原型,并结合批注、说明以及流程图、框架图等元素将产品完整地表述给各方面设计人员,如UI、UE等等,并在讨论
查看SACS CONNECT Edition V121.5G32位/64位 SACS CONNECT 12是目前行业软件中非常优秀的一款海洋工程结构分析与设计软件,该软件专门为海上结构的设计,制造,安装,操作和维护提供促进基础设施发展的综合软件解决方案。利用最新、最全面的国际设计规范更快速地实现海洋工程结构合规性。使用统一
查看Altium designer 元件库大全(终结版)15.12MAltium designer 元件库大全(终结版)是一套应用于altium designer 16的元件库集合,简称:ad16元件库,里面收集打包了altium designer常用元件库和封装库下载,非常全面,初学者有福了,有需求的用户请下载使用!a
查看sas 9.4 m3 32位/64位中文破解版44.57G附安装教程sas 9.4 m3是sas系列软件的新版本,也是目前行业软件中的一款专业的数据统计分析软件,其核心功能包括高级分析、商业智能、客户智能、数据管理、风险管理和欺诈与安全智能六大模块,通过sas软件提供创新的分析、商业智能和数据管理软件与服务,可以帮助用户
查看MoldWorks(3D模具设计软件)219.3Mv2018免费版MoldWorks 2018是一款功能强大的3D模具设计工具,该软件CAMD中加入特定工艺的模具制作知识。MoldWorks(3D模具设计软件)拥有超过15个商业组件库,具有热交换模块、通风模块、Runners&Gates模块等等,轻松设计出需要的模具,
查看cad2012 32位/64位注册机389Kcad2012注册机是针对AutoCAD2012软件而开发的一款激活工具,能够支持32位和64位简体中文版的CAD2012,配合相适应的产品序列号和秘钥,可以完美成功激活软件,其详细的安装教程可参考下文操作,希望对用户有所帮助。AutoCAD2012是世
查看Cura 15.04简体中文汉化包19.7MCura 15.04简体中文汉化包是一款专门针对Cura 15(3D打印切片软件)推出的简体中文语言包文件。Cura是由Ultimaker公司开发的3D打印切片软件,它在3D打印切片上有很强的优势,可以说是3D打印切片软件中的行业标杆,唯一可惜的是没有中
查看