大小: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、扩展:
.基本
.入门和基本抽象
.图形和回调
同类热门
类似软件
rhino5.0中文版113.98M6451人在用 犀牛rhino5.0中文版即Rhinoceros5.0,这是一款3D造型三维建模软件,与其他三维建模工具相比,它在三维建模工具中的确是佼佼者,其硬件要求也是非常的低,并且还对所有的NURBS建模功能包含,用它建模感觉非常流畅,所以用户也是经常用它来
查看tekla structures2016官方版871.99M1411人在用 Tekla2016是一款专业的建筑信息建模(BIM)软件,支持17种语言,支持64位下的Windows7/8以及最新的Windows10系统,提供大量实用工具,能够为任意钢结构或混凝土结构制作准确、可施工的模型。尤其在新版本中,用户还能以更高效地建
查看sketchup草图大师2015中文破解版218.91M10893人在用sketchup2015又叫草图大师2015,它是谷歌公司最近推出的一款最新的3D建模软件,官方将它比喻作电子设计中的“铅笔”,其主要特点就是使用快速、可靠、有趣。使用sketchup2015设计师们可以在很短的时间完成大型的3D设计,兼容和扩展性很好,
查看ansys hfss15破解版(三维电磁仿真软件)820.2M3507人在用hfss是一款功能强大的可视化三维电磁仿真软件,其无人能及的仿真精度、安全可靠性、快捷的仿真速度,便于使用的操作界面、成熟稳定的自适应网格剖分技术使其成为高频结构设计的首选工具和行业标准,hfss已经广泛地应用于航空、航天、电子、半导体、计算机、通信等多
查看uml建模工具(StarUML)190.93M650人在用 StarUML是一款免费开源的uml建模工具,用户使用它可以创建用例图、类图、序列图、状态图、活动图、通信图、模块图、部署图和复合结构图等UML图形,软件灵活、可扩展性强,能够支持XMI、JPG、JPEG、BMP、EMF和WMF等多种格式、支持23
查看热门标签
网友评论0人参与,0条评论
最新排行
Prism 9官方版44.36Mv9.0.0.121 Prism 9官方版是专门用于科研的医学绘图工具,该拥有生物统计、科研绘图、曲线拟合等多种功能,能够非常高效的对各种数据进行分析,帮助小伙伴们处理生活和工作上的任务。有了它,用户可以在众多内置的公式列表中选择一个所需的,然后输入相关的数值,软件就会
查看SACS CONNECT Edition V121.5G32位/64位 SACS CONNECT 12是目前行业软件中非常优秀的一款海洋工程结构分析与设计软件,该软件专门为海上结构的设计,制造,安装,操作和维护提供促进基础设施发展的综合软件解决方案。利用最新、最全面的国际设计规范更快速地实现海洋工程结构合规性。使用统一
查看matlab r2020b中文版21.15G matlab r2020b中文版是由美国MathWorks公司设计的一款专业且强大的商业数学软件,在各个国家的教学、数学研究等领域都能见到它的身影,受到了很多用户的喜爱。软件全称为mathworks matlab r2020b,是目前matlab系
查看天正建筑8.5破解版146.68M天正建筑8.5破解版是一款以AutoCAD为基础二次开发的cad建筑插件,它以先进的建筑对象概念服务于建筑施工图设计,成为建筑CAD的首选软件,本8.5破解版支持最新AutoCAD2012软件,有需要有朋友可免费下载。天正建筑8.5破解版安装破解方法1、
查看pkpm2010破解版1.5G64位/32位简体中文版 pkpm2010是目前pkpm系列软件中的最新版本,新版本在使用功能与操作上均有重大突破。同时应广大客户的要求,隆重推出了PKPM接口软件P-Trans,实现了与ETABS、MIDAS、REVIT等软件的接口;另外,pkpm2010软件还与Bent
查看halcon18.11破解版1.77Gv18.11.0.1中文版 halcon18.11是一款功能强大的综合性机器视觉标准软件,拥有全球通用的集成开发环境,并且架构也非常的灵活,有助于用户快速开发各种类型的机器视觉应用。软件目前全面支持多核平台、AVX2 和NEON 等特殊指令集以及 GPU 加速,并且还提供最先
查看matlab 2016a官方版7.71G中文版 MathWorks公司推出了最新版的Matlab 2016a官方版,此版本包含Simulink的许多新功能,集成了全新的3D制图和新的函数名,有助于加快模型开发和仿真速度,更加规范和实用。除了常用功能的增强和改进之外,Matlab2016a还新加入
查看flexsim2017181M7.5.4中文版Flexsim是一款基于Windows的3D模拟仿真软件,它是世界上第一个在图形环境中集成C++IDE和编译器的仿真软件。它用于建立离散事件流程过程,如材料处理、医疗卫生、仓储、采矿、物流等可视化制造行业。拥有强大的分析、统计跟踪、自定义控件和界面、Op
查看