Metodología de programación de autómatas programables a partir de Redes de Petri = Programming methodology for programmable automatas from Petri Nets - Álvarez Salazar, Johny