HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 4:05:02 PM
Last modification on : Wednesday, March 23, 2022 - 3:51:16 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

293

Files downloads

125