Dan You, ShouGuang Wang, Carla Seatzu: Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64(10): 4353-4360 (2019)