Skip to Main content Skip to Navigation
Conference papers

Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots

Abstract : In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). The objective of this work is to solve the combinatorial explosion problem of the diagnosability analysis of PN model. This study extends from the on-the-fly diagnosis approach proposed in [13]. It proposes some improvements based on the notions of T-invariants and minimal explanations. Based on depth-first search, this approach improves the efficiency of the diagnosability analysis by constructing the state space in a compact manner using minimal explanations. Moreover, this approach defines priorities in the investigation of reachability graph branches with the help of T-invariants. Our approach intends to find more quickly the existence of indeterminate cycles and construct the state space in a compact manner, so as to reduce the memory cost for diagnosability analysis.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224445
Contributor : Stephan Merz <>
Submitted on : Wednesday, November 4, 2015 - 4:05:02 PM
Last modification on : Friday, December 11, 2020 - 6:44:03 PM
Long-term archiving on: : Friday, February 5, 2016 - 11:16:21 AM

File

paper 26.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01224445, version 1

Citation

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni. Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224445⟩

Share

Metrics

Record views

419

Files downloads

242