B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteApplication and Theory of Petri Nets 1994 - 15th International Conference, Proceedings
EditorRobert Valette
EditoreSpringer Verlag
Pagine39-58
Numero di pagine20
ISBN (stampa)9783540581529
DOI
Stato di pubblicazionePubblicato - 1994
Pubblicato esternamente
Evento15th International Conference on Application and Theory of Petri Nets, 1994 - Zaragoza, Spain
Durata: 20 giu 199424 giu 1994

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume815 LNCS
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???15th International Conference on Application and Theory of Petri Nets, 1994
Paese/TerritorioSpain
CittàZaragoza
Periodo20/06/9424/06/94

Fingerprint

Entra nei temi di ricerca di 'B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation'. Insieme formano una fingerprint unica.

Cita questo