Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook

TitleStructural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook
Publication TypeBook Chapter
Year of Publication2014
AuthorsLópez-Grao, JP, Colom JM, Tricas F
EditorCampos, J, Seatzu C, Xie X
Book TitleFormal Methods in Manufacturing
Series TitleIndustrial Information Technology
Chapter7
PublisherCRC Press/Taylor and Francis
ISBN Number9781466561557
AbstractThe book gives an overview of the most important solutions to a series of problems that usually occur in manufacturing systems, focusing on those solutions that are based on a formal model of the system. The main problems considered are modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis, and reconfiguration. The book also presents formal methods in detail for specific problems in the above framework. All are illustrated with examples from manufacturing. The book assumes some knowledge of systems theory and discrete event systems theory but provides introductory material on each formalism (Petri nets, automata, and max-plus algebra), making the book suitable also for readers who are not experts on formalisms.
URLhttp://www.crcpress.com/product/isbn/9781466561557
Export