Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach by ZhiWu LiDeadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach by ZhiWu Li

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach

byZhiWu Li, Mengchu Zhou

Paperback | October 21, 2010

Pricing and Purchase Info


Earn 1,100 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied to the occurrence of deadlock states as a structural object. The book systematically introduces the novel theory of siphons, traps, and elementary siphons of Petri nets as well as the deadlock control strategies for FMS developed from it. Deadlock prevention methods are examined comparatively. The many FMS examples presented to demonstrate the concepts and results of this book range from the simple to the complex. Importantly, to inspire and motive the reader's interest in further research, a number of interesting and open problems in this area are proposed at the end of each chapter.Deadlock Resolution in Automated Manufacturing Systems is directed to control, computer, electrical, mechanical, and industrial engineers, researchers and scientists. It will be useful for designers in the automation and control disciplines in industry and academia who need to develop the control methods, tools and software to improve the performance of automated flexible manufacturing systems.
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 i...
Title:Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net ApproachFormat:PaperbackDimensions:261 pagesPublished:October 21, 2010Publisher:Springer LondonLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1849968306

ISBN - 13:9781849968300

Look for similar items by category:


Table of Contents

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

Editorial Reviews

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)