下载 >  信息化 >  项目管理 > petri网验证协议

petri网验证协议 评分:

对协议的形式化验证,用有色petri网对协议进行证明验证
2012-04-09 上传大小:1.95MB
想读
分享
收藏 举报
有色Petri网教程,PPT非常详细,值得一看

介绍了有色Petri网的建模与应用,对于学习Petrri网建模的用户来说不错

立即下载
petri网画图分析工具,开源

petri网画图分析工具,开放源代码,支持随机、着色、对象petri网

立即下载
Petri网学习(超详细)

学习petri网的ppt,适合初学者。也可以作为一份参考资料

立即下载
PETRI网导论

PETRI网导论 author: 吴哲辉:

立即下载
petri网常用软件 PIPEv4.3.0

PIPE是构建petri网的强大工具之一,优点在于比cpn tools等其他工具更通俗易懂;该软件必须在JAVA环境下运行,下载解压后双击 launch.bat即可打开

立即下载
Petri网建模仿真工具

Petri网建模仿真分析工具,十分方便好用,希望大家多多下载

立即下载
《Petri网导论》PDF电子书

Petri网导论的扫描版电子书。Petri网是分布式系统的建模和分析工具,它特别便于描述系统中进程或部件的顺序,并发,冲突以及同步等关系。

立即下载
petri的应用和实例

petri网的介绍和概况,包括基本类型和常用项目,适合新手使用

立即下载
时间petri网 tina仿真软件

很强大的时间petri网仿真软件,可设置时间戳,时间延迟的仿真很到位。画图很人性化,界面的美观程度仅次于CPN,但是易上手,适合初学者使用

立即下载
Petri网原理与应用(袁崇义)PDF-书签带目录

1) 书签带目录,PDF版 2) Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。 本书是对《Petri网原理》一书的修订,增加了大量的Petri网应用的内容。电梯控制系统是一个完整的应用实例,充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则,使扩充后的Petri网成为系统规范和程序系统语义描述的工具。这一工具与同步论的结合,在工作流应用和工作流工具开发

立即下载
CPN (Color Petri Net) 即有色的Petri网

CPN (Color Petri Net) 即有色的Petri网,它在20世纪60年代首先由著名数学家Carl Adam Petri提出,适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式,也有直观的图形表达方式,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。

立即下载
随机Petri网和系统性能评价(第二版)

本书是随机Petri网理论和技术方面的专著,主要内容包括: 各种随机Petri网理论和分析技术;随机Petri网的模型方法、模型的分解和压缩技术以及性能界限求解技术;随机Petri网在通信协议、ATM网络、柔性制造系统、计算机系统和软件系统性能评价、工作流中的应用;随机Petri网软件工具。本书内容基本上是自包含的,内容新颖,容易理解,便于应用。主要是计算机、自动控制等相关专业的大学高年级学生、研究生、工程技术和科研人员

立即下载
pipe4.3 petri网软件

petri网建模工具pipe4.3,需要先配置java环境

立即下载
Petri网原理与应用-袁崇义.扫描版 经典著作

书名:袁崇义老师的经典著作《Petri网原理与应用》 格式:pdf扫描版

立即下载
Perti网映射python程序

BPMN元素到Petri的映射,开始事件、结束事件、网关、编排任务的映射

立即下载
Petri网仿真工具PiPE5.0版本

Petri网仿真工具PiPE5.0版本,java语言开发。适合从事Petri网的科学研究工作者。

立即下载
Petri 网学习,学习petri网的ppt(超详细)

Petri 网学习,学习petri网的ppt(超详细)。 学习petri网的ppt,适合初学者。也可以作为一份参考资料 Petri网

立即下载
Tina Petri网建模工具

Tina是一款对时间Petri网支持得比较好的软件,也是用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他的移植性很好。

立即下载
PETRI 网开发工具

petri的开发软件,可以设计petri网模型,验证,调试。

立即下载
基于Petri网的可达树与可达图的构造与算法实现

Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树,可大图等工具。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

petri网验证协议

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
10 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: