By Topic

Modular structural analysis of Petri nets for distributed causal model-based diagnosis

Sign In

Full text access may be available.

To access full text, please use your member or institutional sign in.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bennoui, H. ; Comput. Sci. Dept., Univ. of Biskra, Biskra, Algeria ; Barkaoui, K.

This paper describes an empirical evaluation of a modular structural analysis technique to distributed causal model-based diagnosis, in case the behavioral model of the system under consideration is described through a set of place-bordered behavioral Petri nets (BPNs). In particular, each BPN model is diagnosed by a diagnostic agent on the basis of its local model, the local received observation and the information exchanged with the neighboring agents. The interactions between BPNs are captured by tokens that may pass from one net model to another via bordered places. We show that the structural analysis based on P-invariants of each net model, can improve the performance of causal model-based diagnosis of distributed systems compared to that based on reachability graphs.

Published in:

Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on

Date of Conference:

28-30 April 2013