Diagnosability analysis of patterns on bounded labeled prioritized Petri nets - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2017

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

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.
Fichier principal
Vignette du fichier
jdeds16_draft.pdf (304.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01574475 , version 1 (14-08-2017)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More