Title :
Petri net based PLC stage programming for discrete-event control design
Author :
Peng, ShihSen ; Zhou, MengChu
Author_Institution :
Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete-event control systems. A real-time Petri net is a further improvement over the timed Petri net. The paper proposes to use a real-time Petri net to represent the stage programming of a programmable logic controller for a discrete-event control system. An illustrated example is used to explore the Petri net-based PLC stage programming methodology
Keywords :
Petri nets; control system CAD; discrete event systems; programmable controllers; Petri net based PLC stage programming; discrete-event control design; ladder logic diagram; programmable logic controller; real-time Petri net; Actuators; Control design; Control systems; Logic programming; Petri nets; Programmable control; Programmable logic arrays; Programmable logic devices; Real time systems; System recovery;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.972975
