Knowledge representation for Petri net based PLC stage program of discrete-event control design

Shih Sen Peng, Meng Chu Zhou

Research output: Contribution to journalConference articlepeer-review

Abstract

In a programmable logic controller of a discrete-event control system, up to 60% of the coding effort is devoted to dealing with interlocking. Stage programming is a new concept by breaking a program into logical stages, making complex systems design easier. The stages can then be programmed individually without concern for how they will affect the rest of the program. To become truly competitive for Artificial Intelligence semantic implementation in industry, this paper introduces a knowledge representation for the Petri net-based programmable logic controller stage program. The symbolic logic uses a conceptual graph to translate the sensor-based stage Petri nets directly to the predicate calculus with While-Loop expressions. An example is used to illustrate the proposed concept and method.

Original languageEnglish (US)
Pages (from-to)148-153
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume3
StatePublished - Dec 1 2002
Event2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia
Duration: Oct 6 2002Oct 9 2002

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Keywords

  • Conceptual Graph
  • Knowledge-Based Stage Programming
  • Petri nets
  • Programmable Logic Controller
  • Sensor-Based Stage Petri Nets

Fingerprint

Dive into the research topics of 'Knowledge representation for Petri net based PLC stage program of discrete-event control design'. Together they form a unique fingerprint.

Cite this