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

Safety Monitoring Modeling and Real Time Safety Analysis Based on Petri Nets

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

In order to provide the efficient method for safety monitoring, this paper adopts the Petri nets to construct safety monitoring model and researches the qualitative and quantitative safety analysis based on Petri nets. The safety monitoring modeling based on Petri nest can effectively represent the system evolution from normal to danger; and especially can describe more than one danger event in one net. At last, the safety monitoring for nuclear reaction is illustrated to demonstrate the process of the constructing safety monitoring model and safety analysis. The method of safety monitoring modeling based on Petri nets is in accord with the human cognitive habits in descriptive way, and can reduce the complexity of modeling management for huge system.