@inproceedings{594b34ed25c54f20b83a8d2b691b0335,
title = "B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation",
abstract = "Backward reachability on Petri net models has been proposed since the beginning of the development of net theory without giving it a suitable motivation. For this reason, reachability analysis has been successively developed essentially by taking into account forward reachability. In this paper backward reachabitity analysis is motivated by showing its suitability to diagnostic problem solving. A particular technique for backward reachability analysis (B-W analysis) is defined for a net model called Behavioral Petri Net (BPN), intended to model the behavior of a system to be diagnosed. Such a technique is based on the use of two different types of tokens (normal and inhibitor tokens) whose aim is to represent the truth or falsity of the condition associated to a marked place. A distributed approach for parallel B-W analysis is also proposed. Such an approach is based on a set of processes derived from the structure of a BPN by means of a formal partitioning technique; this allows us to address the problem of mitigating the high inefficiency diagnostic algorithms usually have.",
author = "Cosimo Anglano and Luigi Portinale",
note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All rights reserved.; 15th International Conference on Application and Theory of Petri Nets, 1994 ; Conference date: 20-06-1994 Through 24-06-1994",
year = "1994",
doi = "10.1007/3-540-58152-9_4",
language = "English",
isbn = "9783540581529",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "39--58",
editor = "Robert Valette",
booktitle = "Application and Theory of Petri Nets 1994 - 15th International Conference, Proceedings",
address = "Germany",
}