E-Book, Englisch, 240 Seiten
Li / Zhou Deadlock Resolution in Automated Manufacturing Systems
1. Auflage 2009
ISBN: 978-1-84882-244-3
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
A Novel Petri Net Approach
E-Book, Englisch, 240 Seiten
ISBN: 978-1-84882-244-3
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
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.
Autoren/Hrsg.
Weitere Infos & Material
1;Preface;11
2;Acknowledgments;14
3;Contents;16
4;Abbreviations;19
5;Introduction;20
6;Petri Nets;35
7;Elementary Siphons of Petri Nets;62
8;Monitor Implementation of GMECs;93
9;Deadlock Control Based on Elementary Siphons;122
10;Optimal Liveness-Enforcing Supervisors;173
11;Comparison of Deadlock Prevention Policies;205
12;Conclusions and Future Research;236
13;Symbols;244
14;Index;247
