García Melo, J.I. et al. 2018. Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool. Revista Politécnica. 14, 26 (ago. 2018), 29–41. DOI:https://doi.org/10.33571/rpolitec.v14n26a3.