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

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