共查询到16条相似文献,搜索用时 109 毫秒
1.
针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。 相似文献
2.
3.
金光 《国防科技大学学报》2002,24(4):86-90
混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义 相似文献
4.
用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。 相似文献
5.
本文论述了传统Petri网和模糊Petri网的一些基本概念,特点及区别,提出了用模糊Petri网建模规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用。 相似文献
6.
为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Net建模方法,选取后者建立静态逻辑变迁和动态逻辑变迁的Petri Net指标分配模型。在此基础上,提出考虑严酷等级的系统安全性指标分配方法,经过算例分析,构建Petri Net层次系统故障模型进行指标分配。结果表明,分配值均在相应安全性指标内,该方法能够克服动态故障树法不直观、等分配法分配过于粗糙等缺陷,为飞机安全性设计与评估提供参考。 相似文献
7.
8.
9.
指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论. 相似文献
10.
11.
12.
13.
提出了一种可用于维修保障系统建模与分析的面向方面的Petri网模型(APON),给出了该模型形式化描述,该模型引入了方面、方面库所、方面变迁、消息颜色以及对象与方面间的消息传递函数等新的概念,体现了面向方面的思想,具有很好的模块性、继承性和可维护性,能够反映维修保障系统的动态柔性特点,最后给出了一个应用实例. 相似文献
14.
一种基于Petri网模型的系统动态安全性分析方法 总被引:1,自引:1,他引:0
针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性. 相似文献
15.