By Topic

Qualitative diagnosability of labeled petri nets revisited

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

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

1 Author(s)
Haar, S. ; INRIA LSV, Ecole Normale Super. de Cachan, Rennes, France

In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics. In, we showed how to take further advantage of the partial order representation of concurrent processes, by decomposing the unfolding into `facets', formed by subnets whose events either all occur eventually, or none of them occurs. A notion of q(ualitative)-diagnosability was proposed in based on this decomposition. The present paper corrects the definition of q-diagnosability and develops its properties. Sufficient and necessary criteria, on the transition labeling, for q-diagnosability are shown; for their verification, and diagnosis itself, compact data structures are sufficient.

Published in:

Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on

Date of Conference:

15-18 Dec. 2009