Deadlock Resolution in Computer-Integrated Systems Book

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