Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach / by ZhiWu Li, MengChu Zhou.

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Li, ZhiWu (Author), Zhou, MengChu (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Advances in Industrial Control,
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3277636
003 MWH
005 20191220130607.0
007 cr nn 008mamaa
008 100301s2009 xxk| s |||| 0|eng d
020 |a 9781848822443 
024 7 |a 10.1007/978-1-84882-244-3  |2 doi 
035 |a (DE-He213)978-1-84882-244-3 
050 4 |a E-Book 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
100 1 |a Li, ZhiWu.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Deadlock Resolution in Automated Manufacturing Systems  |h [electronic resource] :  |b A Novel Petri Net Approach /  |c by ZhiWu Li, MengChu Zhou. 
250 |a 1st ed. 2009. 
264 1 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2009. 
300 |a XXII, 240 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Advances in Industrial Control,  |x 1430-9491 
490 1 |a Springer eBook Collection 
505 0 |a Petri Nets -- Elementary Siphons of Petri Nets -- Monitor Implementation of GMECs -- Deadlock Control Based on Elementary Siphons -- Optimal Liveness-Enforcing Supervisors -- Comparison of Deadlock Prevention Policies -- Conclusions and Future Research. 
520 |a 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. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Software engineering. 
650 0 |a Manufactures. 
650 0 |a Control engineering. 
650 0 |a Robotics. 
650 0 |a Mechatronics. 
690 |a Electronic resources (E-books) 
700 1 |a Zhou, MengChu.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Advances in Industrial Control,  |x 1430-9491 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-84882-244-3  |3 Click to view e-book 
907 |a .b32776366  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g xxk  |h 0  |i 1 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21907985  |z 02-26-20 
999 f f |i 6c8a71cf-7869-5516-b73d-9085111b9189  |s f01ab3df-4457-59c1-8c08-f2571fe0f929 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |e E-Book  |h Library of Congress classification  |i Elec File  |n 1