J. Guimarães Batista, M. L. . Alves da Silva, R. . Cavalcante Sá, and C. R. . Oliveira Moura, “Discrete Event System Decision: an Approach to the Maintenance Based on Colored Petri Net”, jme, vol. 6, no. 1, pp. 10–22, Dec. 2023.