Redes de Petri: Modelado e implementación de algoritmos para autómatas programables