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

مشکلات بن بست در سیستم های تولید انعطاف پذیر (FMS) در دو دهه اخیر بیشتر و بیشتر مورد توجه قرار گرفته است. شبکه‌های پتری یکی از ابزارهای ریاضی امیدوارکننده‌تر برای مقابله با بن‌بست‌ها در سیستم‌های مختلف تخصیص منابع هستند. در یک سیستم مدل‌سازی شده با شبکه‌های پتری، سیفون‌ها به‌عنوان یک شی ساختاری به وقوع حالت‌های بن‌بست متصل می‌شوند. این کتاب به طور سیستماتیک تئوری جدید سیفون ها، تله ها، سیفون های ابتدایی و وابسته شبکه های پتری و همچنین استراتژی های کنترل بن بست برای FMS را که از آن توسعه یافته است، معرفی می کند. روش های پیشگیری از بن بست به صورت مقایسه ای مورد بررسی قرار می گیرند. بسیاری از مثال‌های FMS برای نشان دادن مفاهیم و نتایج این کتاب، از ساده تا پیچیده، ارائه شده‌اند. نکته مهم این است که برای الهام بخشیدن و برانگیختن علاقه خواننده به تحقیقات بیشتر، تعدادی از مسائل جالب و باز در این زمینه در پایان هر فصل ارائه شده است.

تحلیل بن بست در سیستم های تولید خودکار

EM> به مهندسین کنترل، کامپیوتر، برق، مکانیک و صنایع، محققان و دانشمندان هدایت می شود. این برای طراحان در رشته های اتوماسیون و کنترل در صنعت و دانشگاه که نیاز به توسعه روش های کنترل، ابزارها و نرم افزار برای بهبود عملکرد سیستم های تولید خودکار انعطاف پذیر دارند، مفید خواهد بود.

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, elementary and dependent siphons of Petri nets as well as the deadlock control strategies for FMS developed from it. Deadlock prevention methods are examined comparatively. Many FMS examples are presented to demonstrate the concepts and results of this book, ranging from the simple to the complex. Importantly, to inspire and motivate 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.