Title :
Modeling of sequential control system with cyclic scan by Petri net
Author :
Itoh, Y. ; Miyazawa, I. ; Sekiguchi, T.
Author_Institution :
Joint Res. Div., Kanagawa Ind. Tech. Res. Inst., Japan
Abstract :
We propose the modeling method of a ladder diagram (LD) with the cyclic scan of a programmable controller (PC) by Petri net (PN). First, some experiments are conducted to examine the relationship between the cyclic scan and the behavior of LDs. Second, PNs are used for the qualitative modeling of the behavior of LDs based on the IEC61131-3 PC programming languages standard. Especially, in addition to LD Boolean logic expressions previously modeled by PNs, we consider the PC control components, such as cyclic scan, peripherals, memories, scanning ladder rungs. Moreover, the experimental results are qualitatively explained by the PNs
Keywords :
IEC standards; Petri nets; programmable controllers; Boolean logic expressions; IEC61131-3 PC programming languages standard; Petri net; cyclic scan; ladder diagram; ladder rungs; memories; peripherals; programmable controller; qualitative modeling; sequential control system; Boolean functions; Computer languages; Control system synthesis; Control systems; Logic programming; Manufacturing; Open systems; Personal communication networks; Petri nets; Programmable control;
Conference_Titel :
Industrial Electronics Society, 2000. IECON 2000. 26th Annual Confjerence of the IEEE
Conference_Location :
Nagoya
Print_ISBN :
0-7803-6456-2
DOI :
10.1109/IECON.2000.972311
