PLC symbol naming rule for auto generation of Plant model in PLC simulation

Proposed in the paper is an automated procedure to construct a plant model for PLC simulation. Since PLC programs only contain the control logic without the information on the plant model, it is necessary to build the corresponding plant model to perform simulation. Conventionally, a plant model for PLC simulation has been constructed manually, and it requires much efforts as well as the in-depth knowledge of simulation. As a remedy for the problem, we propose an automated procedure to generate a plant model from the symbol table of a PLC program. To do so, we propose a naming rule for PLC symbols so that the symbol names include enough information on the plant model. By analyzing such symbol names, we extract a plant model automatically. The proposed methodology has been implemented, and test runs were made.

[1]  Pär Klingstam,et al.  Overview of simulation tools for computer-aided production engineering , 1999 .

[2]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[3]  Georg Frey.  Automatic implementation of Petri net based control algorithms on PLC , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[4]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[5]  Wang Yi,et al.  A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.

[6]  Massimo Pacella,et al.  Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedure , 2002, Simul. Model. Pract. Theory.

[7]  S. Manesis,et al.  Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..

[8]  Pau-Lo Hsu,et al.  A PLC-based design for the sequence controller in discrete event systems , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[9]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[10]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[11]  Xing Lan,et al.  A Systematic Procedure for Designing State Combination Circuits in PLCs , 1999 .

[12]  Yoshiro Fukuda,et al.  Efficient manufacturing system implementation based on combination between real and virtual factory , 2006 .

[13]  Kazuaki Iwata,et al.  Development of a Virtual Manufacturing System by Integrating Product Models and Factory Models , 1993 .