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