Unfold and Cover: Qualitative Diagnosability for Petri Nets

Stefan Haar 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In recent years, classical discrete event fault diagnosis techniques have been extended to Petri net system models under partial order semantics. We propose here to take further advantage of the partial order representation of concurrent processes; we explore the relational structure of occurrence nets to derive a covering relation. It indicates that occurrence of some event a inevitable leads to occurrence of some event b, before a, after a, or concurrently. Covering defines a decomposition of occurrence nets into facets; we introduce the facet-based concept of q-diagnosability --for qualitative diagnosability as opposed to quantitative criteria-- which is specific to partial order semantics. All objects considered can be computed from a finite unfolding prefix of bounded length.
Type de document :
Communication dans un congrès
Proceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. IEEE Control System Society, pp.1886-1891, 2007, 〈10.1109/CDC.2007.4434691〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638308
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:08:38
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

Collections

Citation

Stefan Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. Proceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. IEEE Control System Society, pp.1886-1891, 2007, 〈10.1109/CDC.2007.4434691〉. 〈inria-00638308〉

Partager

Métriques

Consultations de la notice

75