Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs | IEEE Journals & Magazine | IEEE Xplore