著者

伊東 圭昌 宮澤 以鋼 関口 隆

出版者

The Institute of Electrical Engineers of Japan

雑誌

電気学会論文誌. D, 産業応用部門誌 = The transactions of the Institute of Electrical Engineers of Japan. D, A publication of Industry Applications Society (ISSN:09136339)

巻号頁・発行日

vol.121, no.4, pp.461-467, 2001-04-01

被引用文献数

1

---

Programmable Controllers (PCs) are widely applied in the control of manufacturing systems. The purpose of this paper is to give some basic concepts for the verification methods of sequential control systems. Especially, we propose the modeling method of Ladder Diagram (LD) with the cyclic scan of PC by Petri Nets (PNs). First, some experiments are conducted to examine the relationship between the cyclic scan and the behavior of LD. Second, PNs are used for the qualitative modeling of the behavior of LD, based on IEC61131-3. In addition to LD Boolean logic expressions, we consider the PC operation, described by the cyclic scan, peripherals, memories, scanning ladder rungs. As a result, the difference between the LD description and the behavior, caused by the cyclic scan, can be represented by the proposed PNs. Moreover, the behavior of the PNs can be analyzed by the firing sequences, and then confirmed in good qualitative agreement with that of the experimental results.