Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets

Stefan Haar. Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. IEEE Trans. Automat. Contr., 55(10):2310-2320, 2010. [doi]

Abstract

Abstract is missing.