Towards a general multi-model-based methodology for diagnosis systems

The paper concentrates on a Petri-net approach to fault diagnosis. The framework which is proposed allows the preconditions, logical links and mutual influences of the activities and states of functions and equipments to be naturally described, and a simulation-based fault isolation reasoning to be implemented. It is also a basis for a multi-model-based approach, since Petri nets and behavioral models can be easily connected. The framework is illustrated with the example of a pneumatic suspension system.