1st Edition
Deadlock Resolution in Computer-Integrated Systems
696 Pages
263 B/W Illustrations
by
CRC Press
696 Pages
263 B/W Illustrations
by
CRC Press
Also available as eBook on:
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... Read more
LIST OF CONTRIBUTORS
PREFACE
INTRODUCTION TO DEADLOCK RESEARCH IN COMPUTER-INTEGRATED SYSTEMS
M.P. Fanti and M.C. Zhou
DEADLOCK AVOIDANCE IN AUTOMATED MANUFACTURING SYSTEMS USING FINITE AUTOMATA AND STATE SPACE SEARCH
A. Yalcin, T. Tai, and T.O. Boucher
SYNTHESIS OF DEADLOCK-FREE SUPERVISORY CONTROLLERS USING AUTOMATA
A. Ramirez-Serrano and B. Benhabib
DEADLOCK AVOIDANCE AND DYNAMIC ROUTING FLEXIBILITY IN AUTOMATED MANUFACTURING SYSTEMS
M. Lawley
DIGRAPH-BASED TECHNIQUES FOR DEADLOCK RESOLUTION IN AUTOMATED MANUFACTURING SYSTEMS
M.P. Fanti, B. Maione, G. Maione, and B. Turchiano
DEADLOCK-FREE SUPERVISORY CONTROL FOR ASSEMBLY AND DISASSEMBLY SYSTEMS
E. Roszkowska
DEADLOCK AVOIDANCE ALGORITHMS AND IMPLEMENTATION: A MATRIX-BASED APPROACH
J. Mireles Jr., F. Lewis, A. Gürel, and S. Bogdan
DEADLOCK DETECTION AND PREVENTION OF AUTOMATED MANUFACTURING SYSTEMS USING PETRI NETS AND SIPHONS
M.D. Jeng, and X. Xie
SIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMS
S. Reveliotis
ELEMENTARY SIPHONS OF PETRI NETS FOR EFFICIENT DEADLOCK CONTROL
Z. Li and M.C. Zhou
RESOURCE-ORIENTED PETRI NETS IN DEADLOCK PREVENTION AND AVOIDANCE
N. Wu and M.C. Zhou
THE EFFECT OF MODELING AND CONTROL TECHNIQUES ON THE MANAGEMENT OF DEADLOCKS IN FMS
L. Ferrarini and L. Piroddi
DEADLOCK CHARACTERIZATION AND RESOLUTION IN INTERCONNECTION NETWORKS
T. M. Pinkston
DEADLOCK MODELS FOR A MULTI-SERVICE MEDIUM ACCESS PROTOCOL EMPLOYING A SLOTTED ALOHA OR Q-ARY TREE BASED SIGNALING CHANNEL
M.V. Ivanovich
DEADLOCK-FREE TCP OVER HIGH-SPEED INTERNET
R.K.C. Chang, H.Y. Chan and A.W. Yeung
DEADLOCK RESOLUTION IN LARGE-SCALE INTERNET COMPUTING
J. Park
MODELS USED IN STATIC ANALYSIS FOR DEADLOCKS OF ADA TASKING PROGRAMS
M. Tiusanen and T. Murata
DEADLOCK HANDLING IN DATABASE SYSTEMS
M. Weske
INDEX
PREFACE
INTRODUCTION TO DEADLOCK RESEARCH IN COMPUTER-INTEGRATED SYSTEMS
M.P. Fanti and M.C. Zhou
DEADLOCK AVOIDANCE IN AUTOMATED MANUFACTURING SYSTEMS USING FINITE AUTOMATA AND STATE SPACE SEARCH
A. Yalcin, T. Tai, and T.O. Boucher
SYNTHESIS OF DEADLOCK-FREE SUPERVISORY CONTROLLERS USING AUTOMATA
A. Ramirez-Serrano and B. Benhabib
DEADLOCK AVOIDANCE AND DYNAMIC ROUTING FLEXIBILITY IN AUTOMATED MANUFACTURING SYSTEMS
M. Lawley
DIGRAPH-BASED TECHNIQUES FOR DEADLOCK RESOLUTION IN AUTOMATED MANUFACTURING SYSTEMS
M.P. Fanti, B. Maione, G. Maione, and B. Turchiano
DEADLOCK-FREE SUPERVISORY CONTROL FOR ASSEMBLY AND DISASSEMBLY SYSTEMS
E. Roszkowska
DEADLOCK AVOIDANCE ALGORITHMS AND IMPLEMENTATION: A MATRIX-BASED APPROACH
J. Mireles Jr., F. Lewis, A. Gürel, and S. Bogdan
DEADLOCK DETECTION AND PREVENTION OF AUTOMATED MANUFACTURING SYSTEMS USING PETRI NETS AND SIPHONS
M.D. Jeng, and X. Xie
SIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMS
S. Reveliotis
ELEMENTARY SIPHONS OF PETRI NETS FOR EFFICIENT DEADLOCK CONTROL
Z. Li and M.C. Zhou
RESOURCE-ORIENTED PETRI NETS IN DEADLOCK PREVENTION AND AVOIDANCE
N. Wu and M.C. Zhou
THE EFFECT OF MODELING AND CONTROL TECHNIQUES ON THE MANAGEMENT OF DEADLOCKS IN FMS
L. Ferrarini and L. Piroddi
DEADLOCK CHARACTERIZATION AND RESOLUTION IN INTERCONNECTION NETWORKS
T. M. Pinkston
DEADLOCK MODELS FOR A MULTI-SERVICE MEDIUM ACCESS PROTOCOL EMPLOYING A SLOTTED ALOHA OR Q-ARY TREE BASED SIGNALING CHANNEL
M.V. Ivanovich
DEADLOCK-FREE TCP OVER HIGH-SPEED INTERNET
R.K.C. Chang, H.Y. Chan and A.W. Yeung
DEADLOCK RESOLUTION IN LARGE-SCALE INTERNET COMPUTING
J. Park
MODELS USED IN STATIC ANALYSIS FOR DEADLOCKS OF ADA TASKING PROGRAMS
M. Tiusanen and T. Murata
DEADLOCK HANDLING IN DATABASE SYSTEMS
M. Weske
INDEX
Biography
MengChu Zhou, Maria Pia Fanti
