Deadlock Resolution in Automated Manufacturing Systems

Deadlock Resolution in Automated Manufacturing Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 250
Release :
ISBN-10 : 9781848822436
ISBN-13 : 184882243X
Rating : 4/5 (36 Downloads)

Book Synopsis Deadlock Resolution in Automated Manufacturing Systems by : ZhiWu Li

Download or read book Deadlock Resolution in Automated Manufacturing Systems written by ZhiWu Li and published by Springer Science & Business Media. This book was released on 2009-03-04 with total page 250 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Deadlock Resolution in Automated Manufacturing Systems
Language: en
Pages: 250
Authors: ZhiWu Li
Categories: Computers
Type: BOOK - Published: 2009-03-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 promisin
Optimal Supervisory Control of Automated Manufacturing Systems
Language: en
Pages: 206
Authors: Yufeng Chen
Categories: Computers
Type: BOOK - Published: 2013-01-23 - Publisher: CRC Press

DOWNLOAD EBOOK

This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with c
Deadlock Resolution in Computer-Integrated Systems
Language: en
Pages: 693
Authors: MengChu Zhou
Categories: Computers
Type: BOOK - Published: 2018-10-08 - Publisher: CRC Press

DOWNLOAD EBOOK

Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent soft
Formal Methods in Manufacturing Systems: Recent Advances
Language: en
Pages: 531
Authors: Li, Zhiwu
Categories: Technology & Engineering
Type: BOOK - Published: 2013-05-31 - Publisher: IGI Global

DOWNLOAD EBOOK

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and ef
System Modeling and Control with Resource-Oriented Petri Nets
Language: en
Pages: 308
Authors: MengChu Zhou
Categories: Computers
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication n