Skip to Main content Skip to Navigation
Journal articles

Diagnosability verication with Petri net unfoldings

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
Contributor : Philippe Dague Connect in order to contact the contributor
Submitted on : Monday, November 29, 2010 - 1:24:25 AM
Last modification on : Sunday, June 26, 2022 - 11:52:41 AM
Long-term archiving on: : Saturday, December 3, 2016 - 12:06:26 AM


Files produced by the author(s)


  • HAL Id : inria-00540650, version 1


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⟩



Record views


Files downloads