ABSTRACT: The challenges imposed on Manufacturing Systems (MS), given the demands of a dynamic and competitive market, instigates the development of new technologies to promote the reduction of production costs, increase productivity and ensure the level of quality established by the company. Such technologies applied in MS create demands for new paradigms for the design of control systems, mainly about the integration of automated systems, such as multifunction machines, flexible machining centers, intelligent robotic conveyor systems, and the integration of information systems, production planning and management, and manufacturing execution. The main purpose of control system modeling is to represent a real system using conceptual models to visualize, predict and simulate the desired dynamic behavior of the system. This article presents some modeling tools for control systems capable of adequately representing a manufacturing system with all its requirements and intrinsic characteristics, supported by formal methods for structured modeling of the control system.