Conversion between ladder diagrams and PNs in discrete-event control design-a survey

Modern manufacturing systems have challenged the use of LDs for PLCs to design their discrete-event controllers. Researchers are constantly pursuing integrated tools that eliminate the limitations of LDs. These tools are aimed not only for control but also for system analysis, evaluation, and simulation. For the past decades, Petri nets (PNs) have emerged as an important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems Different types of PN-based controllers in academia are intended for application in industry. There is a need for more benchmark studies of PN and LD methods in order to form a structured and integrated framework for logic control software development. The paper surveys work on these methods with focus on the conversion methods between PNs and LDs.

[1]  Jin S. Lee,et al.  The state equation of Petri net for the LD program , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

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

[3]  Duncan McFarlane,et al.  Petri nets based design of ladder logic diagrams , 2000 .

[4]  H. A. Barker,et al.  A graphical simulation tool for programmable logic controllers , 1992 .

[5]  Kazuo Nose,et al.  Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications , 1995 .

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

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

[8]  Claudio Maffezzoni,et al.  Conceptual framework for the design of logic control , 1993 .

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

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

[11]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..

[12]  MengChu Zhou,et al.  Automatic generation of Petri net models from logic control specifications , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

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

[14]  Manuel Silva,et al.  PROGRAMMABLE LOGIC CONTROLLERS AND PETRI NETS: A COMPARATIVE STUDY , 1982 .

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

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

[17]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[18]  Murat Uzam,et al.  Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets , 1996, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design.

[19]  Luca Ferrarini,et al.  A new approach to modular liveness analysis conceived for large logic controllers' design , 1994, IEEE Trans. Robotics Autom..

[20]  W.M.M. Hales,et al.  PN PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets , 1997 .

[21]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[22]  Luca Ferrarini,et al.  Interpretation rules of Petri net models for logic control , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[23]  Claudio Maffezzoni,et al.  Designing Logic Controllers with Petri Nets , 1991 .

[24]  Mohsen A. Jafari,et al.  A rule-based system for generating a ladder logic control program from a high-level systems model , 1994, J. Intell. Manuf..

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

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

[27]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

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

[29]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

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

[32]  Heloisa A. Camargo,et al.  A modular modeling approach for CNC machines control using Petri nets , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[33]  Pramod P. Khargonekar,et al.  Control logic generation for machining systems using Petri net formalism , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[34]  Murat Uzam,et al.  Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[35]  MengChu Zhou,et al.  Design of sequence controllers using Petri net models , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.