J. I. García Melo, R. E. Cano Buitrón, e J. D. Contreras, “Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool”, Rev. politec., vol. 14, nº 26, p. 29–41, ago. 2018.