基于随机时间Petri网的安全性分析方法

摘要：

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

关键词：随机时间Petri网、安全性分析、瞬态分析

所属期刊栏目：43

分类号：TP301(计算技术、计算机技术)

资助基金：航空科学基金项目2013ZC51023

在线出版日期：2017-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：61-65,76