In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3147-3152. 2000.
Abstract: The machine control can be executed in an integrated way using the Computerized Numeric Command (CNC) and the Programmable Logic Controller (PLC). CNC deals with the axes positioning and speed, the part out of sequence and the operators interface, while PLC deals the machine interlocking, emergency sequences, start and stop sequences, among others, considering its environment integration. The machine PLC control can be divided in interlocking and sequencing control functions. This work proposes a modular machine PLC control modeling approach using Petri nets. This approach also considers a risk analysis that defines and classifies the hardware and software interlocking to be implemented to avoid losses and damages. 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.
Keywords: CNC machine control, Petri nets, modular modeling.