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)

Public bicycle sharing systems control and performance evaluation: A Petri net-based approach. - Braian I. de Freitas; Lilian K. Carvalho; João Carlos Basilio (Inf. Sci., 2023)

Online Fault Prognosis of Labeled Petri Nets. - Braian I. de Freitas; Armand Toguyéni; João Carlos Basilio (IEEE Control. Syst. Lett., 2025)