论文信息 - Modeling of sequential control system with cyclic scan by Petri net

Modeling of sequential control system with cyclic scan by Petri net

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.

[1] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2] Takashi Sekiguchi,et al. A Method for Analyzing Petri Net Structure and Adding Counter-Places to Its Incidence Matrix , 1993 .

[3] Frank D. Petruzella,et al. Programmable Logic Controllers , 1989 .

[4] Takashi Sekiguchi,et al. A Method to Determine the Number of Firings by Classification of Petri Net Structure and Addition of Counter Place , 1989 .

[5] Takashi Sekiguchi,et al. A Study on Execution Time of Ladder Diagram in Programmable Controller , 1999 .

[6] Hirotaka Ito,et al. Fault Diagnosis and Operation Continuation of Sequential Control System Using Petri Net , 1997 .

[7] Takashi Sekiguchi,et al. On the Relationship between Petri Net Structure and Directed Graph , 1998 .

[8] MengChu Zhou,et al. Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..