Automating HAZOP analysis of batch processes

Abstract A support system for the hazard and operabilty studies of batch processes is presented. The search of causes and consequences is automatically performed using similar qualitative models, in form of logic minitrees, for the phases of the operation procedure and the equipment units. More models are considered for the equipment units, one for each subtask in wich they are involved. The search algorithm is integrated by rules for subdividing the plant to be analysed in nodes.