Discrete Event Control Design for Manufacturing Systems Via Ladder Logic Diagrams and Petri Nets: A Comparative Study

Design methods for sequence controllers play a prominent role in advancing industrial automation. The increasing complexity and varying needs of modern discrete manufacturing systems have challenged the traditional design methods such as the use of ladder logic diagrams (LLDs) for programmable logic controllers. The methodologies based on research results in computer science have recently received growing attention by academic researchers and industrial engineers in order to design flexible, reusable, and maintainable control software. Particularly, Petri nets (PNs) are emerging as a very important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems. However, in order to establish PNs as alternative to LLDs there is a need for benchmark studies to formally compare them. The contribution of this chapter is two fold. First, certain criteria are identified to compare LLDs and PNs in designing sequence controllers subject to the changing control requirements. The comparison is performed through a practical system after introducing ‘real-time Petri nets’ for discrete-event control purpose. Secondly, some analytical formulas and a methodology are developed to estimate the number of basic elements used in the PN and LLD designs prior to their constructions. The results will be useful for researchers and engineers to design control systems for complex industrial automated systems.

[1]  Thomas O. Boucher,et al.  Petri net control of an automated manufacturing cell , 1989 .

[2]  T. C. Jackson CIM for the process industries: a framework , 1989 .

[3]  D. W. Pessen Ladder-diagram design for programmable controllers , 1989, Autom..

[4]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[5]  B.H. Krogh,et al.  Design recovery for relay ladder logic , 1993, IEEE Control Systems.

[6]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[7]  Luca Ferrarini,et al.  An incremental approach to logic controller design with Petri nets , 1992, IEEE Trans. Syst. Man Cybern..

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

[9]  Orazio Mirabella,et al.  A fast sequence control device based on enhanced Petri nets , 1991, Microprocess. Microsystems.

[10]  Mohammad Ilyas,et al.  Real-time Petri nets for modeling, controlling, and simulation of local area networks in flexible manufacturing systems , 1995 .

[11]  Richard A. Volz,et al.  An integrated approach to developing manufacturing control software , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[12]  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..

[13]  MengChu Zhou,et al.  Evaluating the complexity of Petri nets and ladder logic diagrams for sequence controllers design in flexible automation , 1994, ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings.

[14]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[15]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[16]  Frank DiCesare,et al.  Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri Nets , 1991 .

[17]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[18]  David W. Pessen Industrial Automation: Circuit Design and Components , 1989 .

[19]  MengChu Zhou,et al.  Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns , 1994 .

[20]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.