Title :
The state equation of Petri net for the LD program
Author :
Gi Bum Lee ; Lee, Jin S.
Author_Institution :
Res. Inst. of Ind. Sci. & Technol., Pohang, South Korea
Abstract :
This paper presents the process for converting A and B contacts in the ladder diagram (LD) into a Petri net (PN). In order to represent the A and B contacts in the LD program with the PN graph, the concept of preservation arc is introduced. The resulting PN is then compared with the conventional PN using a timing chart. The state equation for the A and B contacts is constructed in a transition vector. Using the equation, each state equation for the LD program is created, such as the A contact function and the B contact function. The state equations are validated using examples
Keywords :
PLD programming; Petri nets; control system synthesis; programmable controllers; LD program; Petri net; function block diagram; instruction list; ladder diagram; preservation arc; programmable logic controller; sequential function chart; state equation; structured text; timing chart; transition vector; Computer numerical control; Equations; Logic programming; Materials science and technology; Process control; Production control; Programmable control; Relays; Robot control; Timing;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884466
