García Melo, J. I., Cano Buitrón, R. E., & Contreras, J. D. (2018). Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool. Revista Politécnica, 14(26), 29–41. https://doi.org/10.33571/rpolitec.v14n26a3