Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets | IEEE Journals & Magazine | IEEE Xplore