没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
CPN工具软件
CPN工具软件
CPN工具
需积分: 50
1 下载量
16 浏览量
2014-07-15
21:19:04
上传
评论
1
收藏
29.81MB
EXE
举报
温馨提示
立即下载
CPN工具软件,形式描述中使用的工具软件,欢迎下载
资源推荐
资源评论
CPN教程新手入门指导
浏览:188
个人翻译的关于CPN学习的书籍所以可能会有语义错误,原版是英文版,会给英文不好的伙伴带来不便,希望这个文档可以帮助大家更好地学习CPN,
CPN建模语言及CPN Tools的使用教程
浏览:138
5星 · 资源好评率100%
CPN建模语言是一种通用建模语言,即它不是着重于为特殊类型系统建模,而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议,数据网,分布式算法及嵌入式系统。然而,CP-nets也适用于更广泛地以并发性和交互性为主要特点的系统建模。 本文介绍了CPN建模语言和如何使用CPN Tools中支持的构建、模拟、状态空间分析、性能分析,和可视化的说明。
如何使用CPN+Tools软件(CPN+tools+help+中文版)
浏览:15
CPN帮助文档, CPN帮助文档, CPN帮助文档, CPN帮助文档
怎样使用CPN Tools软件(CPN tools help 中文版)
浏览:133
5星 · 资源好评率100%
终于找到了中文的使用说明文档了,里面有详细步骤的图示,适于初学者,不可多得的CPN Tools使用说明文档
如何使用CPN-Tools软件(CPN-tools-help-中文版).pdf
浏览:32
这是一个CPN工具的帮助文档,给想学习CPN但又苦于找不到学习资料的小伙伴带来福音。
CPN-tools说明文档
浏览:138
4星 · 用户满意度95%
Petri网建模和仿真工具cpn-tools软件说明文档
locationaware-cpntools-extension:CPN 工具扩展,支持位置感知过程的执行
浏览:192
CPN 工具的位置感知模拟扩展 该存储库包含与 CPN 工具扩展相关的源代码,该扩展旨在支持 CPN 工具中的位置感知流程执行。 这些工具是在提交给决策支持系统的题为“Towards Location-Aware Process Modeling and ...
cpntools_V4.0.1建模工具.zip
浏览:116
新版本的CPNtools建模工具,这是一款集编辑、设计与仿真以及分析于一体的有色Petri Net(CPN)工具,支持基础着色Petri网建立模型,以及带有时间和分层的着色petri网建立模型,软件提供了丰富的模型分析功能,具备...
cpntools_4.01.rar
浏览:68
CPN Tools是颜色Petri网领域鼎鼎大名的建模软件,其操作也独具特色--添加库所、变迁以及弧的方法是使用鼠标右键点击不放,在出现的圆形弹出菜单内用左键选择相应的项目。
一种基于CPN的BPEL异常处理逻辑的开发方法 (2013年)
浏览:118
该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的...
基于扩展CPN的多源数据报警相关性 (2009年)
浏览:139
针对网络安全管理员要处理来自IDS、防火墙、防病毒软件以及漏洞扫描器等安全工具所产生的报警信息来获得计算机网络中攻击的高级描述,提出基于多源数据报警相关性的方法。首先,对CPN(ColoredPetriNet)进行扩充,增加...
petri网常用软件 PIPEv4.3.0
浏览:61
5星 · 资源好评率100%
PIPE是构建petri网的强大工具之一,优点在于比cpn tools等其他工具更通俗易懂;该软件必须在JAVA环境下运行,下载解压后双击 launch.bat即可打开
AI 生产力工具 V1.0.0.0 一键批量无损放大视频(1080P→8K),一键批量智能补帧视频(30FPS→240FPS)
浏览:181
【百度云】链接: https://pan.baidu.com/s/1CpN1k-nm-SS4nhefApodew 提取码: 1234 【蓝奏云】链接: https://wwwk.lanzouj.com/b04wi25uh 提取码: 1234 【123云盘】链接: ...
针对SoC设计正确性和时间性的形式化协同验证方法 (2005年)
浏览:63
针对soc提出了一种基于着色Petri网的数学模型,形式化定义了IP核、构件和用户自定义逻辑模块,并阐述了从s0C设计体系结构到着色Petri网模型的转换方法,还介绍了如何利用现有工具CPN Tools来分析Petri网模型。...
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:167
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:150
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:104
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:102
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
XCP协议的规范文档
浏览:114
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
GD32替换STM32注意事项.pdf
浏览:90
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览:144
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览:41
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:163
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:135
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
BaiduOCR.zip
浏览:180
5星 · 资源好评率100%
按键精灵百度文字识别 自定义库 使用说明参考:https://blog.csdn.net/sinat_22215253/article/details/118272746
AD20官方中文教程.pdf
浏览:41
官方提供的入门教材,其中重点讲解了一个简易电路板的开发过程,从元器件的选择,元器件的布置,到最后的产品输出,比较完整的一个实例,适合初次使用软件的开发人员使用。
完整版 Microsoft.ACE.OLEDB.12.0 驱动下载.rar
浏览:85
5星 · 资源好评率100%
亲测好用,挺不错的资源,大家快来下载吧!挺有用的!需要的话可以来下载哦!Microsoft.ACE.OLEDB.12.0驱动下载,解决 未在本地计算机上注册“Microsoft.ACE.OLEDB.12.0”提供程序,权限问题
电路分析基础第二版PDF电子书免费下载
浏览:139
5星 · 资源好评率100%
《21世纪高等院校信息与通信工程规划教材:电路分析基础(第2版)》以电路理论的经典内容为核心,以提高学生的电路理论水平和分析解决问题的能力为出发点,以培养“厚基础、宽口径、会设计、可操作、能发展”,具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材:电路分析基础(第2版)》较全面地阐述了电路的基本理论,并适当引入电路新技术。内容遵从先易后难,由浅入深,循序渐进的原则。主要包
Tangent免费.rar
浏览:177
OriginLab也可以安装Tangent 插件 免费下载 请点赞
七参数坐标转换工具(可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换)
浏览:102
七参数坐标转换工具(可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换),也可以自定义参数转换
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
C24格
粉丝: 11
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
4_base.apk.1
Flower_SS 3.txt
Flower_SS.txt
xiaomi system upload
xiaomi rom upload
xiaomi system upload
xiaomi system upload
xiaomi system upload
xiaomi system upload
Flower_SS.yaml
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功