García Melo JI, Cano Buitrón RE, Contreras JD. Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool. Rev. politec. [Internet]. 27 de agosto de 2018 [citado 28 de abril de 2024];14(26):29-41. Disponible en: https://revistas.elpoli.edu.co/index.php/pol/article/view/974