Qualitative models of equipment units and their use in automatic HAZOP analysis

The use of qualitative models in a support system for HAZOP analyses, in connection with an algorithm for finding the causes and the consequences of variable deviations, is described. dels use several representation structures among which mini-trees constitute the most important from the logical-functional point of view. dels are conceived both for continuous and batch plants. For the latter procedures, regulating the use of equipment units are also modelled using similar structures while equipment units are considered in various phases of their functioning. f description of the prototype support system, in which the models are implemented, is also given.