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, an 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