Modeling of Sequential Control System with Cyclic Scan by Petri Net

DOI DOI DOI Web Site Web Site View 2 Remaining Hide 2 Citations 27 References Open Access

Bibliographic Information

Other Title
  • サイクリック処理方式シーケンス制御システムのペトリネットによるモデル化に関する検討
  • サイクリック ショリ ホウシキ シーケンス セイギョ システム ノ ペトリネット ニ ヨル モデルカ ニ カンスル ケントウ

Search this article

Description

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.

Journal

Citations (2)*help

See more

References(27)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top