Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Houssam Eddine Gougam 1 Yannick Pencolé 1 Audine Subias 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Checking the diagnosability of a discrete event system aims at determining whether a fault can always be identified with certainty after the observation of a bounded number of events. This paper investigates the problem of pattern diagnos-ability of systems modeled as bounded labeled prioritized Petri nets that extends the diagnosability problem on single fault events to more complex behaviors. An effective method to automatically analyze the diagnosability of a pattern is proposed. It relies on a specific Petri net product that turns the pattern diagnosability problem into a model-checking problem.
Keywords : Petri nets Diagnosability Pattern Fault diagnosis
Document type :
Journal articles
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01574475
Contributor : Yannick Pencolé <>
Submitted on : Monday, August 14, 2017 - 4:40:53 PM
Last modification on : Saturday, October 26, 2019 - 1:35:53 AM

File

jdeds16_draft.pdf
Files produced by the author(s)

Identifiers

Collections

INSA-TOULOUSE | LAAS | LAAS-DISCO | LAAS-DECISION-ET-OPTIMISATION | INSA-GROUPE | UNIV-TLSE3 | INSA-TOULOUSE-GEI | UT1-CAPITOLE | UNIV-TLSE2

Citation

Houssam Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, Springer Verlag, 2017, 27 (1), pp.143-180. ⟨10.1007/s10626-016-0234-5⟩. ⟨hal-01574475⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

160

Files downloads

164

Contact

CCSD