A System Fault Diagnosis Method Based on Labeled Time Petri Net With Data | IEEE Journals & Magazine | IEEE Xplore