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

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.

[1]  MengChu Zhou,et al.  Conversion between ladder diagrams and PNs in discrete-event control design-a survey , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[2]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[3]  MengChu Zhou,et al.  Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design , 2003 .

[4]  MengChu Zhou,et al.  Sensor-based Petri net modeling for PLC stage programming of discrete-event control design , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[5]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[6]  MengChu Zhou,et al.  Petri net based PLC stage programming for discrete-event control design , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).