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 formal modeling, OPC communication and supervisory design allow tuning of the application and is an example to follow in teaching of Automation.