Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis

2013 ◽  
Vol 28 (2) ◽  
pp. 155-181 ◽  
Author(s):  
Hammadi Bennoui
Keyword(s):  
Petri Nets ◽  
Causal Model ◽  
Model Based

ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS

2012 ◽  
Vol 23 (07) ◽  
pp. 1523-1541 ◽  
Author(s):  
HAMMADI BENNOUI ◽  
ALLAOUA CHAOUI ◽  
KAMEL BARKAOUI
Keyword(s):  
Structural Analysis ◽  
Petri Nets ◽  
Causal Model ◽  
Diagnostic System ◽  
Diagnostic Reasoning ◽  
Local Model ◽  
Multi Agent System ◽  
Model Based ◽  
Global View ◽  
Multi Agent

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 view about the whole system.

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

2014 ◽  
Vol 35 (11) ◽  
pp. 2608-2614
Author(s):  
Xiang Gao ◽  
Yue-fei Zhu ◽  
Sheng-li Liu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based

Hybrid Causal Model Based Diagnosis

2012 ◽  
Vol 45 (20) ◽  
pp. 678-683 ◽  
Author(s):  
R. Pons ◽  
A. Subias ◽  
L. Travé-Massuyès
Keyword(s):  
Causal Model ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document