Deadlock Resolution in Automated Manufacturing Systems

Petri Nets.- Elementary Siphons of Petri Nets.- Monitor Implementation of GMECs.- Deadlock Control Based on Elementary Siphons.- Optimal Liveness-Enforcing Supervisors.- Comparison of Deadlock Prevention Policies.- Conclusions and Future Research.

ZhiWu Li received his B.S., M.S., and Ph.D. degrees all from Xidian University, Xi'an, China, in 1989, 1992, and 1995, respectively. He joined Xidian University, Xi'an, in 1992, where he is currently Professor of the School of Electro-Mechanical Engineering. He has over 100 publications including a book chapter in Deadlock Resolution in Computer-Integrated Systems, New York: Marcel-Dekker, 2005. From June 2002 to July 2003, he was a Visiting Professor at the Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto, Canada. From February 2007 to February 2008, he was a Visiting Scientist at the Laboratory for CAD & Lifecycle Engineering, Department of Mechanical Engineering, Technion - Israel Institute of Technology, Technion City, Haifa, Israel. Dr. Li served as a member of the Program Committee of the 2005 IEEE International Conference on Networking, Sensing, and Control, 2007 IEEE International Conference on Systems, Man and Cybernetics and the 2008 International Conference on Applications and Theory of Petri Nets. He is a member of the International Advisory Committee of the 10th International Conference on Automation Technology. He is General Co-Chair of the IEEE Conference on Automation Science and Engineering. Dr. Li is a member of the Discrete Event Systems Technical Committee of IEEE Systems, Man, and Cybernetics Society. He serves as a frequent reviewer for 15+ international journals and many international conferences. He is Senior Member of IEEE and recipient of the Alexander von Humboldt Research Grant from Alexander von Humboldt Foundation, Germany.

MengChu Zhou received his B.S. from Nanjing University of Science and Technology, M.S. from Beijing Institute of Technology, and 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-Event Systems Laboratory.

From the reviews:

"Students, researchers, and practicing engineers interested in flexible manufacturing systems that can be described as discrete-event systems will find this book of interest. The book deals with Petri nets that have been widely used to model these systems. The focus is on deadlocks, a highly undesirable situation." (IEEE Control Systems Magazine, Vol. 30, August, 2010)