论文部分内容阅读
在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网（stochastic Time Petri Nets,sTPN）的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。