Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach. - Pedro R. R. Paiva; Braian I. de Freitas; Lilian K. Carvalho; João Carlos Basilio (IFAC J. Syst. Control., 2021)