Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets

Authors:
Hammadi Bennoui;Allaoua Chaoui;Kamel Barkaoui
Affiliations:
Computer Science Depart., University of Biskra, Algeria;Computer Science Depart., University of Constantine, Algeria;CNAM, Paris Cedex 03, France
Venue:
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Year:
2009

Citing 7
Cited 0

Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs

IEEE Transactions on Software Engineering
A spectrum of logical definitions of model-based diagnosis

Computational Intelligence
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets

ISPDC '09 Proceedings of the 2009 Eighth International Symposium on Parallel and Distributed Computing
Improving model-based diagnosis through algebraic analysis: the Petri net challenge

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with the problem of distributed causal model-based diagnosis on interacting Behavioral Petri Nets (BPNs). The system to be diagnosed comprises different interacting subsystems (each modeled as a BPN) and the diagnostic system is defined as a multi-agent system where each agent is designed to diagnose a particular subsystem on the basis of its local model, the local received observation and the information exchanged with the neighboring agents. The interactions between subsystems are captured by tokens that may pass from one net model to another via bordered places. The diagnostic reasoning scheme is accomplished locally within each agent by analyzing the P-invariants of the corresponding BPN model. Once local diagnoses are obtained, agents begin to communicate to ensure that such diagnoses are consistent and recover completely the results obtained by a centralized agent having a global knowledge about the whole system.