Parallel Model-Based Diagnosis Using PVM

. The present paper outlines the PVM implementation of a particular approach to model-based diagnosis which uses a Petri net model of the system to be diagnosed. Parallel backward reachability analysis on the state space of the net is used to explain the misbehavior of the modeled system. The analysis algorithm is based on the automatic identification of the parallelism present in the structure of the Petri net model. Starting from the above information, a MIMD message passing program is automatically constructed. PVM has proved to be a useful tool for implementing the above parallel programs; in particular, we tested the approach by implementing a parallel program for a car fault diagnosis domain. 1 Introduction Solving a diagnostic problem usually involves finding the primary causes that produce a particular malfunction, whose effects are observed in the behavior of a given system. In the model-based approach to diagnosis, a model of the structure and/or of the behavior of the syste..