%A 彭颖,姚淑珍,谭火彬 %T 基于随机时间Petri网的安全性分析方法 %0 Journal Article %D 2016 %J 计算机科学 %R 10.11896/j.issn.1002-137X.2016.11.011 %P 61-65 %V 43 %N 11 %U {https://www.jsjkx.com/CN/abstract/article_15647.shtml} %8 2018-12-01 %X 在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。