Fault detection and identification in Petri net controllers | IEEE Conference Publication | IEEE Xplore