Diagnosability of discrete event systems: a Petri net based approach | IEEE Conference Publication | IEEE Xplore