The purpose of this final master’s work is to define guidelines to validate and verify a manufacturing system with elements such as: processes, machines, sensors and actuators through a digital twin and thus validate the discrete control with cyber-physical functionalities. The proposed approach can be used with mechatronic models of existing systems or in concept models to ensure the correct and safe operation of the system. Through the use of digital twins such as a virtual controller and a virtual manufacturing system, the discrete control and motion coordination operation programming logic is validated and verified by applying the GRAFCET, LADDER method and the GEMMA guide for gait modes and stop. In contrast to the traditional start-up, the start-up of the system with cyber-physical functionalities opens an opportunity to the automation area because it incorporates a SCADA system with web functionalities, allowing access to both writing and reading information in multiple platforms and devices connecting physical and virtual systems in the same environment. This document presents the guidelines to systematically implement the validation and verification of a virtual manufacturing system under discrete control with cyberphysical functionalities. For its application, 3 modules were proposed that constitute a virtual manufacturing system considering integration and modularity criteria, representing a real production system. Initially, the methodologies used for the development of the project were shown, seeking to standardize and create guides for virtual start-up thought from the modeling criteria in computer-aided design software, important factors in industrial communications and programming concepts having consider safe modes of operation.