基于Petri网的安全监控建模与实时安全分析

摘要：

为提供有效的安全监控建模技术,采用Petri网对系统进行安全监控建模,并进行定性和定量的安全分析.基于Petri网的安全监控建模能够有效地描述系统由正常向危险的演化过程,且具有在同一网络中描述多个危险事件的能力.最后以核反应堆系统安全监控为例,演示了基于Petri网的安全监控建模与实时安全分析过程.结果表明:基于Petri网的安全监控建模方法在描述方式上符合人的认识习惯,能够较好地降低大型系统模型管理的复杂度.

关键词：Petri网、安全监控、安全信息、实时安全分析

所属期刊栏目：28

分类号：V457(航天用材料)

资助基金：国家部委预研项目2005AA845023

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

页数：共6页

页码：91-96