Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

Front Cover
Springer US, Dec 31, 1992 - Technology & Engineering - 233 pages
1 Review
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. A parallel mutual exclusion (PME) is defined to model a resource shared by independent distributed processes, and a sequential mutual exclusion is a sequential composition of PMEs, modeling a resource shared by sequentially-related processes.
A hybrid synthesis methodology for Petri net models and controllers is proposed using top-down, modular, and bottom-up design ideas and the mutual exclusion theory. An aggregate Petri net model is refined by replacing places and /or transitions with basic design modules which are mathematically and graphically described. Petri net design methods are presented for such buffers as automatic storage and retrieval systems. Using the proposed method synthesizes both Petri net structure and feasible initial markings, guaranteeing that resulting Petri nets have desirable system properties such as freedom from deadlock and cyclic behavior.
A Petri net controller is extended to error recovery for automated manufacturing systems. The theory can guarantee that the desired system properties achieved by the original design will be preserved when the controller is augmented to deal with an error in the prescribed methods. Control code has been directly generated from Petri net definitions. The algorithm and implementation details are given for a flexible manufacturing system. Using the approach presented in Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, engineers and research workers can develop their own discrete event control applications and experiments.

What people are saying - Write a review

We haven't found any reviews in the usual places.

About the author (1992)

Branislav Hr??z received his Ph.D. from the Slovak Academy of Sciences, Institute of Technical Cybernetics in Bratislava, in 1968. He joined the Research Institute of Mathematical Machines in Prague in 1960 and then the Institute of Technical Cybernetics of the Slovak Academy of Sciences, Bratislava, Slovak Republic, in 1963, and then the State Forest Products Research Institute in Bratislava, Control Engineering Laboratory, in 1971, where he led the first projects of computer automation of the woodworking industry in the former Czechoslovakia. Since 1991 he has been an Associate Professor at the Slovak University of Technology, a member of Faculty of Electrical Engineering and Information Technology, vice-head of Department of Automatic Control Systems. His main interests are in modeling and control of complex systems (especially those of a discrete-event nature), threshold logic functions, finite automata, Petri nets, control methods applied in manufacturing, and instruments and tools for the computer programming of control in practical applications. Dr. Hr??z is author or co-author of 100+ publications including three books and he has presented over fifty papers at national or international conferences. He has served as a member of programming or organizing committees of many international conferences. He acted as a visiting Professor at the Vienna University in Austria and he has lectured (by invitation) in Finland, Germany, USA, and France.

MengChu Zhou received his Ph.D. from Rensselaer Polytechnic Institute. He joined New Jersey Institute of Technology (NJIT) in 1990, and is currently a Professor of Electrical and Computer Engineering and Director of the Discrete-EventSystems Laboratory. His interests are in computer-integrated systems, Petri nets, networks, and manufacturing. He has 200+ publications including six books and 80+ journal papers. He is Managing Editor of IEEE Transactions on Systems, Man and Cybernetics (SMC), Associate Editor of IEEE Transactions on Automation Science and Engineering, and Editor-in-Chief of International Journal of Intelligent Control and Systems. He has served as General and Program Chair of many international conferences. Dr. Zhou has led or participated in twenty-eight research and education projects with total budget over $10M, funded by the National Science Foundation, (US) Department of Defense, and industry. He was the recipient of the CIM University-LEAD Award from the Society of Manufacturing Engineers, the Perlis Research Award by NJIT, the Humboldt Research Award for US Senior Scientists, and is a Distinguished Lecturer of IEEE SMC Society. He has been invited to lecture in Australia, Canada, China, France, Germany, Hong Kong, Italy, Japan, Korea, Mexico, Taiwan, and US. He was founding chair of Discrete Event Systems Technical Committee of IEEE SMC Society, and a Co-Chair (founding) of the Semiconductor Factory Automation Technical Committee of the IEEE Robotics and Automation Society. He is a life member of the Chinese Association for Science and Technology-USA and served as its President in 1999. He is Fellow of IEEE .

Bibliographic information