论文研究生化网络的随机Petri网建模与分析.pdf
用户评论
推荐下载
-
论文研究生产加工信息可追溯系统的对象建模分析.pdf
生产加工信息可追溯系统的对象建模分析,徐术平,柴毅,针对目前生产加工信息可追溯系统标准化规范需求,结合统一建模语言(UML)在对象建模领域内有着广泛的应用空间,提出了一种策略与
7 2020-08-06 -
论文研究基于Petri网和逻辑电路的网络安全验证.pdf
利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具
4 2020-07-16 -
论文研究Petri网分解方法及应用综述.pdf
Petri网分解方法及应用综述,刘聪,鲁法明,Petri网在处理并发和冲突方面具有强大的能力,在复杂系统建模、分析过程中的到了广泛的应用。Petri网分解理论是将结构复杂的Petri网按
30 2019-09-20 -
论文研究基于Petri网的CPS系统安全量化分析模型.pdf
随着信息物理融合系统(CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提
25 2019-09-30 -
基于随机Petri网的虚拟网可生存性模型研究
针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基
7 2021-01-17 -
基于模糊Petri网的离散事件动态系统的建模与优化研究
petri网论文,基于模糊Petri网的离散事件动态系统的建模与优化研究
32 2019-07-15 -
Petri网原理与应用pdf
从别处转载而来,感谢原作者和整理者。希望对您的学习有所帮助。
41 2019-02-19 -
Petri网原理与应用.pdf
Petri net principle and application.pdf
24 2019-06-26 -
论文研究基于扩展Petri网的系统建模及形式化验证方法.pdf
嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Pet
11 2020-05-29 -
论文研究基于面向对象Petri网的无人机协同追踪系统建模.pdf
从离散事件系统角度出发,基于动态角色配置的思想,提出了协同追踪过程中无人机在搜索、协助者、领导者和空闲四个角色之间切换,动态构建团队追踪地面移动目标的协同追踪策略,采用面向对象Petri网对无人机、移
16 2020-07-18
暂无评论