没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
软件测试
有色petri网原版详细教材
有色petri网原版详细教材
petri
有色petri网
5星
· 超过95%的资源
需积分: 43
54 下载量
65 浏览量
2012-11-17
14:03:11
上传
评论
3
收藏
3.55MB
PDF
举报
温馨提示
立即下载
国外出的非常经典的有色petir网教程 相信这部书的作者大名 各位都听说过 很权威 细致。
资源推荐
资源评论
有色Petri网教程,PPT非常详细,值得一看
浏览:44
有色Petri网教程,PPT非常详细,值得一看。有色Petri网是对Petri网模型的补充与发展。
Petri网学习(超详细)
浏览:142
3星 · 编辑精心推荐
学习petri网的ppt,适合初学者。也可以作为一份参考资料
有色Petri网教程【PPT】【CPN】
浏览:186
5星 · 资源好评率100%
有色Petri网教程【PPT】【CPN】 是英文版的, 内容还可以的
层次颜色Petri 网建模与应用
浏览:6
层次颜色工作流Petri 网的概念,并指 出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描 述具有事务属性并行任务在执行失败时的回滚策略。
CPN (Color Petri Net) 即有色的Petri网
浏览:150
CPN (Color Petri Net) 即有色的Petri网,它在20世纪60年代首先由著名数学家Carl Adam Petri提出,适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式,也有直观的图形表达方式,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。
tina 使用教程
浏览:53
5星 · 资源好评率100%
tina 使用教程,适合初学者学习的教程,简单上手,授课讲义
cpncourse:有色Petri网和CPN工具课程
浏览:38
有色陪替氏网和CPN工具课程 可以从此处下载CPN工具: CPN书的主页可以在以下位置找到: : 阅读和准备 CPN模块基于以下列出的书籍章节和论文: 《彩色Petri网》一书的第1章和第2章: : CPN论文可通过以下: : 在有色Petri网的两个模块中,我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术
有色petri网CPN tool 中文帮助文档
浏览:107
4星 · 用户满意度95%
有色petri网(colored petri netscape)建模工具CPN是一款非常优秀的有色petri网模拟及检验工具,CPN 中文帮助文档对想要系统学习有色Petri网的朋友来说是个不错的选择哦~~~
基于有色Petri网的攻击场景构造
浏览:50
基于有色Petri网的攻击场景构造
论文研究-基于有色Petri网的SysML序列图的分析与验证.pdf
浏览:106
针对SysML序列图本身缺乏分析和验证手段的问题, 提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则, 重点是把序列图的常用结构如可选结构、条件结构、并行结构...
基于时间—有色Petri网的电梯系统的建模与分析
浏览:24
4星 · 用户满意度95%
该文章用时间—有色Petri网详细对电梯系统进行了建模和分析,有很强的参考价值。
论文研究-进路建立过程的时间有色petri网建模与仿真.pdf
浏览:120
计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续...
Petri 网学习,学习petri网的ppt(超详细)
浏览:121
Petri 网学习,学习petri网的ppt(超详细)。 学习petri网的ppt,适合初学者。也可以作为一份参考资料 Petri网
基于有色Petri网模型的安全协议检测方法
浏览:105
基于有色Petri网模型的安全协议检测方法
基于模糊有色Petri网的故障诊断方法
浏览:144
基于模糊有色Petri网的故障诊断方法
基于有色Petri网的网络安全态势感知模型构建及分析.pdf
浏览:61
基于有色Petri网的网络安全态势感知模型构建及分析.pdf
论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf
浏览:52
论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf, 提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-...
论文研究-基于有色Petri网的BPEL中flow活动建模.pdf
浏览:12
基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更...
基于FPGA的有色Petri网仿真系统设计.pdf
浏览:31
基于FPGA的有色Petri网仿真系统设计.pdf
有色Petri网的Android恶意代码建模方法研究.pdf
浏览:90
有色Petri网的Android恶意代码建模方法研究.pdf
基于有色Petri网的SELinux安全策略自动化分析.rar
浏览:16
基于有色Petri网的SELinux安全策略自动化分析.rar
基于有色Petri网的SELinux安全策略自动化分析.pdf
浏览:33
基于有色Petri网的SELinux安全策略自动化分析.pdf
论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf
浏览:136
通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时...
20余套微信小程序源代码(含前端和后端)
浏览:109
20余套微信小程序源代码(含前端和后端)微信小程序源码带后台+教程+不同行业的源码集合。如有侵权或安装问题请联系附带微信.
python实现好看的GUI界面pyqt5
浏览:115
本资源基于网络的参考实现了好看的GUI界面,并带有样式截图,下载下来即可看见各种截图和py文件,可直接在python环境运行,基于pyqt5实现
软件工程课程设计报告期末大作业-超市管理系统.zip
浏览:42
5星 · 资源好评率100%
软件工程课程设计报告大作业,课题:小型超市管理系统,内容包括1.系统可行性研究报告 2.需求规格说明书 3.设计规格说明书 4.测试分析报告 5.课程设计总结 五个部分,只是分析了设计方案并没有源码实现。
3.2EStudy启动后无法显示界面的解决办法.zip
浏览:176
5星 · 资源好评率100%
3.2EStudy启动后无法显示界面的解决办法.zip
完整功能测试报告模板.doc
浏览:96
5星 · 资源好评率100%
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
uuih
2013-12-16
看了他我才知道,原来我们老师的授课课件是依据它做的。
snbsh
2013-11-17
看原版很好
id1314
2013-05-21
的确是原版,很好,得好好的消化一下!
qiao_qiao_ni
粉丝: 6
资源:
18
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于yolov8行人检测源码+模型.zip
公开整理-地级市-绿色专利申请、授权数据集(2000-2022年).xlsx
基于Transformer模型的图像质量评分模型实现源码+详细说明文档.zip
CST电磁场仿真+线性螺旋电感+建模步骤细节和RLC端口配置+CST高级建模操作
大数据库实验的报告材料材料(word文档良心出品).doc
AIS2024 valid
最入门的爬虫代码 python.docx
爬虫零基础入门-爬取天气预报.pdf
最通俗易懂的 MongoDB 非结构化文档存储数据库教程.zip
以mongodb为数据库的订单物流小项目.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功