TY - JOUR
T1 - Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design
AU - Peng, Shihsen
AU - Zhou, Mengchu
N1 - Funding Information:
This work is supported by the New Jersey Commission on Higher Education via NJ I-Tower Project at NJIT, Newark, NJ, USA, the National Outstanding Young Scientist Research Award from NNSF of China, and the Mechatronic Control Research Project of the Mechanical Engineering Department at the Chinese Military Academy in Taiwan.
PY - 2003/2/15
Y1 - 2003/2/15
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0242364605&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0242364605&partnerID=8YFLogxK
U2 - 10.1080/0020754021000042364
DO - 10.1080/0020754021000042364
M3 - Article
AN - SCOPUS:0242364605
SN - 0020-7543
VL - 41
SP - 629
EP - 644
JO - International Journal of Production Research
JF - International Journal of Production Research
IS - 3
ER -