Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

Document Type

Article

Publication Date

2-15-2003

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.

Identifier

0242364605 (Scopus)

Publication Title

International Journal of Production Research

External Full Text Location

https://doi.org/10.1080/0020754021000042364

ISSN

00207543

First Page

629

Last Page

644

Issue

3

Volume

41

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS