 |
HAL-LAAS Open Archive Laboratory for Analysis and Architecture of Systems |  |
Journal articles
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.
Cited literature [38 references]
https://hal.archives-ouvertes.fr/hal-01574475
Contributor : Yannick Pencolé Connect in order to contact the contributor
Submitted on : Monday, August 14, 2017 - 4:40:53 PM
Last modification on : Tuesday, October 19, 2021 - 11:18:05 PM
Contributor : Yannick Pencolé Connect in order to contact the contributor
Submitted on : Monday, August 14, 2017 - 4:40:53 PM
Last modification on : Tuesday, October 19, 2021 - 11:18:05 PM
File
jdeds16_draft.pdf
Files produced by the author(s)