The Diagnosability of Petri Net Models Using Minimal Explanations

George Jiroveanu, René K. Boel. The Diagnosability of Petri Net Models Using Minimal Explanations. IEEE Trans. Automat. Contr., 55(7):1663-1668, 2010. [doi]

Abstract

Abstract is missing.