Unfold and Cover: Qualitative Diagnosability for Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Unfold and Cover: Qualitative Diagnosability for Petri Nets

Résumé

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.

Domaines

Autre [cs.OH]

Dates et versions

inria-00638308 , version 1 (04-11-2011)

Identifiants

Citer

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. pp.1886-1891, ⟨10.1109/CDC.2007.4434691⟩. ⟨inria-00638308⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More