Deadlock Resolution in Automated Manufacturing Systems, Fachbücher von Mengchu Zhou, ZhiWu Li

Das Buch "Deadlock Resolution in Automated Manufacturing Systems" von Mengchu Zhou bietet eine umfassende Analyse der Problematik von Deadlocks in flexiblen Fertigungssystemen (FMS). In den letzten zwei Jahrzehnten hat das Thema zunehmend an Bedeutung gewonnen, und der Autor nutzt Petri-Netze als vielversprechendes mathematisches Werkzeug zur Lösung dieser Herausforderungen. Das Werk führt systematisch in die neuartige Theorie von Siphons, Fallen und elementaren Siphons von Petri-Netzen ein und erläutert die daraus entwickelten Strategien zur Kontrolle von Deadlocks in FMS. Durch den Vergleich verschiedener Methoden zur Vermeidung von Deadlocks wird ein tiefes Verständnis für die Thematik gefördert. Zahlreiche Beispiele aus der Praxis, die von einfachen bis hin zu komplexen Szenarien reichen, veranschaulichen die Konzepte und Ergebnisse des Buches. Am Ende jedes Kapitels werden interessante und offene Probleme vorgestellt, um das Interesse der Leserschaft an weiterführender Forschung zu wecken.