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

Volume

2

fYear

2000

fDate

2000

Firstpage

1310

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics Society, 2000. IECON 2000. 26th Annual Confjerence of the IEEE

Conference_Location

Nagoya

Print_ISBN

0-7803-6456-2

Type

conf

DOI

10.1109/IECON.2000.972311

Filename

972311