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

Shihsen Peng, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

23 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)629-644
Number of pages16
JournalInternational Journal of Production Research
Issue number3
StatePublished - Feb 15 2003

All Science Journal Classification (ASJC) codes

  • Strategy and Management
  • Management Science and Operations Research
  • Industrial and Manufacturing Engineering


Dive into the research topics of 'Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design'. Together they form a unique fingerprint.

Cite this