Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions | IEEE Journals & Magazine | IEEE Xplore