Qualitative Diagnosability of Labeled Petri Nets Revisited

Stefan Haar 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics. In a recent paper, 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 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.
Type de document :
Communication dans un congrès
Proceedings of the Joint 48th IEEE Conference on Decision and Control (CDC'09) and 28th Chinese Control Conference (CCC'09), Dec 2009, Shanghai, China, China. IEEE Control System Society, pp.1248-1253, 2009, 〈10.1109/CDC.2009.5400917〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638286
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:46:44
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

Collections

Citation

Stefan Haar. Qualitative Diagnosability of Labeled Petri Nets Revisited. Proceedings of the Joint 48th IEEE Conference on Decision and Control (CDC'09) and 28th Chinese Control Conference (CCC'09), Dec 2009, Shanghai, China, China. IEEE Control System Society, pp.1248-1253, 2009, 〈10.1109/CDC.2009.5400917〉. 〈inria-00638286〉

Partager

Métriques

Consultations de la notice

90