基于动态SDG模型的间歇过程HAZOP方法研究

Study of HAZOP analysis for batch processes based on dynamic SDG model

危险与可操作性分析(HAZOP)是目前应用最为广泛的安全评价方法之一。然而,通过对国内外已实施的生产过程安全评价方法及相关计算机辅助安全评价软件调查发现,目前对间歇过程HAZOP分析的研究还较少。因此,将Petri网与符号定向图(SDG)相结合,以SDG模型为主,Petri网模型为辅,建立专门针对间歇过程HAZOP分析的动态SDG模型。由于Petri网可以准确描述间歇过程的离散事件特性,而SDG能够恰当描述间歇过程的连续特性,二者结合使该模型成为间歇过程HAZOP分析的有力工具。

HAZOP（ Hazard and Operability Analysis）is one of the most widely used methods for safety assessment. However, after surveying most of the existing techniques of process safety assessment and corresponding software at home and abroad, it was found that little research had been done to the HAZOP analysis for batch process. There- fore, a new modeling method which integrated Petri Net deeply into SDG（ Signed Directed Graph）model was pres- ented. This model aimed at HAZOP analysis for batch process specially, with SDG as its main body and Petri Net the assistant. As Petri Net could well describe the discrete-event character of batch process, and SDG explicitly re- presented the continuous nature of it, the combination of them made the presented model an effective tool for HAZOP analysis of batch process.