Utilizing Timed Petri Nets to Guide Data-Driven Fault Diagnosis of PLC-Timed Event Systems | IEEE Conference Publication | IEEE Xplore