Online Fault Diagnosis in Petri Net Models of Discrete-Event Systems Using Fourier-Motzkin | IEEE Conference Publication | IEEE Xplore