Skip to Main content Skip to Navigation
Journal articles

Diagnosability verication with Petri net unfoldings

Agnes Madalinski 1 Farid Nouioua 2 Philippe Dague 3, 4
1 Faculty of Engineering Science / Facultad de Ciencias de la Ingeniería
2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
3 LRI - Laboratoire de Recherche en Informatique
4 LEO - Distributed and heterogeneous data and knowledge
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : Complex systems increasingly require safety and robustness w.r.t. faults occurrences, and diagnosability is a key property to ensure this at design stage. This paper demonstrates how Petri net unfoldings, which have been proven to elevate the state explosion problem, can be applied to verify diagnosability by adapting the twin plant method.
Document type :
Journal articles
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
https://hal.inria.fr/inria-00540650
Contributor : Philippe Dague <>
Submitted on : Monday, November 29, 2010 - 1:24:25 AM
Last modification on : Thursday, July 8, 2021 - 3:48:35 AM
Long-term archiving on: : Saturday, December 3, 2016 - 12:06:26 AM

File

Vignette du document
KES-diagno-twin.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00540650, version 1

Collections

CNRS | INRIA | UNIV-TLN | LSIS | UNIV-AMU | UMR8623 | LIS-LAB | UNIV-HESAM | ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES | EC-PARIS

Citation

Agnes Madalinski, Farid Nouioua, Philippe Dague. Diagnosability verication with Petri net unfoldings. International Journal of Knowledge-Based and Intelligent Engineering Systems, IOS Press, 2010, 14 (2), pp.49-55. ⟨inria-00540650⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

663

Files downloads

336

 

Contact                    Legal Notice                    Personal Data