El aumento en la complejidad de los sistemas automatizados requiere que las metodologías de programación de PLC no se queden en el enfoque tradicional, el cual es un método heurístico de prueba y error. A pesar de que este procedimiento es el más empleado en la industria, este presenta dificultades en cuanto a la representación de ocurrencias, sincronización y la posibilidad de validar el programa antes de implementarlo en los controladores industriales (PLC). Este proyecto propone el uso de Redes de Petri como una herramienta para programar un PLC que controla un modelo digital de un sistema automatizado que clasifica, ensambla y transporta piezas. La metodología del proyecto consiste en: (i) una revisión de la literatura sobre Redes de Petri aplicada en el control de procesos, (ii) la construcción del modelo digital en Factory I/O, (iii) el modelado y especificación de la pl...