Guimarães Batista J, Alves da Silva ML, Cavalcante Sá R, Oliveira Moura CR. Discrete Event System Decision: an Approach to the Maintenance Based on Colored Petri Net. jme [Internet]. 2023Dec.21 [cited 2025Sep.19];6(1):10-22. Available from: https://jme.ifce.edu.br/index.php/jme/article/view/113