Automatic generation of ladder diagram with control Petri Net

Journal of Intelligent Manufacturing

Volumn 15, Issue 2, 2004, Pages 245-252

  Lee, Gi Bum ^a   Zandong, Han ^b   Lee, Jin S ^c  

^a Research Institute of Industrial Science and Technology (RIST)   (South Korea)

^b TSINGHUA UNIVERSITY   (China)

^c Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

Automated system; Boolean equation; Control Petri Net; Ladder diagram; Programmable logic controller

Indexed keywords

BOOLEAN FUNCTIONS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; LIQUIDS; MIXTURES; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

AUTOMATED INDUSTRIAL SYSTEM; BOOLEAN EQUATION; CONTROL PETRI NET; LADDER DIAGRAM;

FACTORY AUTOMATION;

EID: 1842503835     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:JIMS.0000018036.84607.37     Document Type: Article

References (13)

1. Burns, G. L. and Bidanda, B. (1994) The use of hierarchical Petri nets for the automatic generation of ladder logic programs, Proceedings of ESD IPC Conference and Exposition, Detroit, Michigan, pp. 169-179.
2. David, R. and Alla, H. (1992) Petri Net and Grafcet [M], Prentice-Hall International (UK) Ltd, London.
3. Ferrarini, L. (1992) An incremental approach to logic controller design with Petri nets. IEEE Transactions on Systems, Man, Cybernetics, 22(2), 461-473.
4. Katz, R. H. (1994) Contemporary Logic Design, The Benjamin/Cummings Publishing Company, Inc.
5. Lee, G. B. and Lee, J. S. (2000) The state equation of Petri Net for the LD program. IEEE International Conference on Systems, Man and Cybernetics, 4, 3051-3056.
6. Lewis, F. L., Gurel, A., Bogdan, S., Doganalp, A. and Pastravanu, O. C (1998) Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica, 34(9), 1083-1100.
7. Miyazawa, I., Tanaka, H. and Sekiguchi, T. (1996) Classification of solutions of matrix equation related to parallel structure of a Petri Net, IEEE Conference on Emerging Technologies and Factory Automation, pp. 446-452.
8. Murata, T. (1989) Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580.
9. Peterson. (1981) Petri Net Theory and the Modeling of Systems, Prentice-Hall International (UK) Ltd, London.
10. Uzam, M. and Jones, A. H. (1998) Discrete event control system design using automation Petri Nets and their ladder diagram implementation, International Journal of Advanced Manufacturing Technology, 716-728.
11. Venkatesh, K., Zhou, M., Caudill, R. J. (1994) Comparing ladder logic diagrams and Petri Nets for sequence controller design through a discrete manufacturing system. IEEE Transactions on Industrial Electronics, 41, 611-619.
12. Zhou, M. (1995) Petri Nets in Flexible and Agile Automation [M], Kluwer Academic Publishers Group, Boston.
13. Zhou, M., DiCesare, F. and Rudolph, D. (1992) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. Automatica, 28(6), 1999-2008.