|
 
|
[BCB09] Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets
Conférence Internationale avec comité de lecture : ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, June 2009, pp.99-106,
motcle:
Résumé:
This paper deals with the problem of causal model-based diagnosis of distributed systems. The setting we consider is a collection of interacting behavioral Petri nets (BPNs). Each BPN model represents the causal behavioral model of one subsystem and its interactions with neighboring subsystems. Interactions among subsystems are modeled by tokens that pass from one model to another via common places. Diagnosis reasoning scheme exploits, in a first step a backward reachability analysis on each net model to obtain local diagnoses; and in a second step, it exploits a forward reachability analysis for ensuring that local diagnoses are consistent and form global ones.
For further information, please visit this web site.
For further information, please visit this web site.
BibTeX
| @inproceedings { | |||
| BCB09, | |||
| title | = | "{Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets}", | |
| author | = | " H. Bennoui and A. Chaoui and K. Barkaoui ", | |
| booktitle | = | "{ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4}", | |
| year | = | 2009, | |
| month | = | "June", | |
| pages | = | "99-106", | |
| } | |||
