Guimarães Batista, J.; Alves da Silva, M. L. .; Cavalcante Sá, R. .; Oliveira Moura, C. R. . Discrete Event System Decision: An Approach to the Maintenance Based on Colored Petri Net. jme 2023, 6, 10-22.