Formal design in Petri nets (PN) model of filling wagons in laboratory process is presented with subsequent translation into programmable logic controllers (PLC) language and a monitoring and data acquisition software(SCADA) to the training facility. Use professional tools to model, verify and validate the proposed automation, where two new steps for proper formation of the PN are added, and programming, communication and monitoring of the implementation. With the implementation of this laboratory facility is has a near real automation system, usable in various undergraduate and postgraduate courses tool. The use of formalmodeling, OPC communication and supervisory design allow tuning of the application and is an example to follow in teaching of Automation.
Se presenta el diseño formal en Redes de Petri (PN) de un proceso de llenado de vagones para una maqueta de laboratorio, con su posterior traducción a lenguaje de controladores lógicos programables (PLC) y un sistema de supervisión y adquisición de datos (SCADA) para esa instalación docente. Utiliza herramientas profesionales para modelar, verificar y validar la propuestade automatización, donde se adicionan dos nuevos pasos para buena formación de la PN, y para la programación, comunicación y supervisión de la aplicación. Con la puesta en marcha de la instalación de laboratorio se cuenta con una herramienta cercana a un sistema de automatización real, utilizable en varias asignaturas de pre y postgrado. El uso del modelado formal, la comunicación OPC y el diseño del supervisorio permiten la puesta a punto de la aplicación y constituye un ejemplo a seguir en la enseñanzade la Automática.
