Deadlock Resolution in Computer-Integrated Systems
Regular price
€291.40
advanced deadlock management strategies
AGV System
Category=UB
Category=UL
Category=UMZ
Category=UY
Circular Wait
concurrency control methods
Cycle Chain
Deadlock Analysis
Deadlock Avoidance
Deadlock Avoidance Policies
Deadlock Detection
Deadlock Prevention
Deadlock Prevention Policies
Deadlock State
distributed computing systems
Elementary Siphons
Emptiable Siphon
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Mac Protocol
manufacturing process modeling
Minimal Siphons
network protocol analysis
Part's Process Plan
Part’s Process Plan
Petri Net
PN Model
Reachability Graph
Reachable Marking
resource allocation systems
S3PR Net
Siphon Control
Slotted Aloha
Strict Minimal Siphons
supervisory control theory
Ta Te
Virtual Channels
Product details
- ISBN 9780824753689
- Weight: 1111g
- Dimensions: 156 x 234mm
- Publication Date: 27 Dec 2004
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many other automated systems. Yet, as these systems become more complex, automated, distributed, and computing-intensive, the opportunity for deadlock issues rises exponentially. Deadlock modeling, detection, avoidance, and recovery are critical to improving system performance.
Deadlock Resolution in Computer-Integrated Systems is the first text to summarize and comprehensively treat this issue in a systematic manner. Consisting of contributions from prominent researchers in the field, this book addresses deadlock-free models and scheduling, detection and recovery methods, the formulation of dynamic control policies, and comparison and industrial benchmark studies that evaluate various approaches. The editors lay the foundation for exploring deadlock issues with a typical example of an automated manufacturing process, illustrating three primary modeling methods (digraphs, Petri nets, and automata) and comparing their respective advantages and disadvantages.
Providing all of the important models and resolution approaches, this book is the complete guide for electrical and control engineers and manufacturing, intelligent, and network systems designers to prevent and manage deadlock issues in their systems.
