A modular modeling approach for CNC machines control using Petri nets

Machine control can be executed in an integrated way using computerized numeric control (CNC) and the programmable logical controller (PLC). CNC deals with axes positioning and speed, the part cut off sequence and the operator interface, while PLC deals with machine interlocking, emergency sequences, start and stop sequences, among others, considering its environment integration. The machine PLC control can be divided into interlocking and sequencing control functions. The article proposes a modular machine PLC control modeling approach using Petri nets. This approach also considers a risk analysis task that defines and classifies the hardware and software interlocking to be implemented to avoid loss and damage. In this approach, the machine PLC control model can be constructed and the Petri net analysis technique can be used to verify and validate it.