Control logic design with Petri nets for integrated manufacturing systems

The authors present a Petri net approach to designing supervisory control logic (SCL) for integrated manufacturing systems and its application to design of the Laserlite Workstation Control System. Explicit representation of SCL is obtained by using Petri nets. Thus concurrency, choices, and precedence relations can be graphically visualized. Mathematical analysis can be conducted for both qualitative and quantitative properties of the control systems. Inconsistency errors and deadlock situations can be detected. The temporal properties can be derived by incorporating timing information into the net representation if needed. Based on the net representation of the system, control code in C or C++ can be systematically derived. Related control system components and their description using the Manufacturing Information Systems Toolkit for Building Integrated Control Systems are useful in specifying a practical implementation. New schemes can be exploited by modifying the net structure or changing the initial condition.<<ETX>>

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

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

[3]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[4]  Nejib Ben Hadj-Alouane,et al.  The design and implementation of the control and integration software of a flexible manufacturing system , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[5]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

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

[7]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[8]  MengChu Zhou,et al.  Control of a Flexible Manufacturing System Using Petri Nets , 1990 .

[9]  Mark C. Maletz,et al.  The Manufacturing Game: A Formal Approach to Manufacturing Software , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

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

[11]  Fei-Yue Wang,et al.  A coordination theory for intelligent machines , 1990, Autom..

[12]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[13]  R. A. Volz,et al.  Design of integrated manufacturing system control software , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

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