@inproceedings{af709162b4c94fa5a504e27fed95133d,
title = "Parallel model-based diagnosis using PVM",
abstract = "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.",
author = "Cosimo Anglano and Luigi Portinale",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 3rd European Conference on Parallel Virtual Machine, EuroPVM 1996 ; Conference date: 07-10-1996 Through 09-10-1996",
year = "1996",
doi = "10.1007/3540617795\_45",
language = "English",
isbn = "3540617795",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "331--334",
editor = "Arndt Bode and Thomas Ludwig and Jack Dongarra and Vaidy Sunderam",
booktitle = "Parallel Virtual Machine {\textendash} EuroPVM 1996 - 3rd European PVM Conference, Proceedings",
address = "Germany",
}