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
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
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
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A New Diagnosis Approach by Deduction and Abduction
Proceedings of the International Workshop on Expert Systems in Engineering, Principles and Applications
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reaching Diagnostic Agreement in Multi-Agent Diagnosis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
Discrete Event Dynamic Systems
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Supervision and diagnosis of joint actions in multi-agent plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Exploiting subgraph structure in multi-robot path planning
Journal of Artificial Intelligence Research
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
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
Automatica (Journal of IFAC)
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Hi-index | 0.00 |
This paper deals with the problem of spatially 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 exploiting classical analysis techniques of Petri nets like reachability graph and invariant analysis. Once local diagnoses are obtained, agents begin to communicate to ensure that such diagnoses are consistent and recover completely the results that would be obtained by a centralized agent having a global view about the whole system. The paper concludes with an empirical comparison, in terms of the running time, of two implementations of Petri net analysis techniques used as a distributed diagnostic reasoning schemes.