García Melo, J. I.; Cano Buitrón, R. E.; Contreras, J. D. Proposal of a Procedure for Automating an Industrial Process Using Petri Nets As a Formal Tool. Rev. politec. 2018, 14, 29-41.