Volver a los detalles del artículo Metodología de programación de autómatas programables a partir de Redes de Petri