ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS

摘要

A novel on-line diagnosis method is proposed in this paper that uses a qualitative dynamic model of the system and its colored Petri nets model. The model contains both the normal and the possible faulty operational modes of the system. The deviation between the normal and faulty modes is characterized based on P-HAZID tables. The actual system state can be searched on the occurrence graph constructed in advance. Starting from this node the possible consequences and root causes can be determined on-line with traversing on the graph. The proposed method is illustrated on simple case studies.