Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach | IEEE Journals & Magazine | IEEE Xplore