Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design
Abstract:Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete event control systems (DECS). The usual way to verify the dynamic behaviour of DECS design is to employ a process-based model, which proves to be impractical in application because the process-based model does not usually fully correspond to the control programming behaviour. This paper proposes a sensor-based stage Petri net (SBSPN) to represent a programmable logic controller (PLC) stage logic diagram (LD) for discrete-event control design. The new technique is able to simplify the modelling process of the complex PLC program without considering the interlocking problem within the ladder diagram. An illustrated example is used to explore the new methodology. The proposed method contains the power and flexibility of the Petri net analysis prior to the PLC implementation. It is believed that this technique is significant for industry practice.
Document Type: Research Article
Affiliations: 1: Department of Mechanical Engineering, Chinese Military Academy, Kaohsiung County 830, Taiwan, ROC 2: Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102, USA and Institute of Automation, CAG, Beijing 100080, PR China
Publication date: 2003-01-01