Diagnosability verification with Petri net unfoldings

Article type: Research Article

Authors: Madalinski, Agnes^{a; 1; *} | Nouioua, Farid^{b; 1} | Dague, Philippe^c

Affiliations: [a] Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile | [b] Laboratoire des sciences de l'information et des systèmes, Marseille, France | [c] LRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France

Correspondence: [*] Corresponding author. E-mail: amadalin@uach.cl

Note: [1] This work was done while the authors performed a post-doc at LRI, Orsay, France.

Abstract: Complex systems increasingly require safety and robustness with regards to 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.

DOI: 10.3233/KES-2010-0191

Journal: International Journal of Knowledge-based and Intelligent Engineering Systems, vol. 14, no. 2, pp. 49-55, 2010