Requests network model for deadlock detection and avoidance in automated manufacturing systems

References

• Abdallah , B and ElMaraghy , HA . 1998 . Deadlock prevention and avoidance in FMS: a Petri net based approach . International Journal of Advanced Manufacturing Technology , 14 : 704 – 715 .
   Web of Science ®Google Scholar
• Banaszak , AZ and Krogh , BH . 1990 . Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 : 724 – 734 .
   Google Scholar
• Brzezinski , J , Helary , J , Raynal , M and Singhal , M . 1995 . Deadlock models and a general algorithm for distributed deadlock detection . Journal of Parallel and Distributed Computing , 31 : 112 – 125 .
   Web of Science ®Google Scholar
• Cho , H , Kumaran , TK and Wysk , RA . 1995 . Graph–theoretic deadlock detection and resolution for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 11 : 413 – 421 .
   Google Scholar
• Fanti , MP , Maione , B , Mascolo , S and Turchiano , B . 1996 . Performance of deadlock avoidance algorithms in flexible manufacturing systems . Journal of Manufacturing Systems , 15 : 164 – 178 .
   Web of Science ®Google Scholar
• Fanti , MP , Maione , B , Mascolo , S and Turchiano , B . 1997 . Event-based feedback control for deadlock avoidance in flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 13 : 347 – 363 .
   Google Scholar
• Fanti , MP , Maione , G and Turchiano , B . 2001 . Distributed event-control for deadlock avoidance in automated manufacturing systems . International Journal of Production Research , 39 : 1993 – 2021 .
   Web of Science ®Google Scholar
• Fanti , MP , Maione , G and Turchiano , B . 2002 . Design of supervisors to avoid deadlock in flexible assembly systems . International Journal of Flexible Manufacturing Systems , 14 : 153 – 171 .
   Google Scholar
• Hsieh , FS and Chang , SC . 1994 . Dispatching-driven deadlock avoidance controller synthesis for manufacturing systems . IEEE Transactions on Robotics and Automation , 10 : 196 – 209 .
   Google Scholar
• Kang , SH , Kim , Y and Lee , YC . 2000 . A time-controlled Petri net model and deadlock detouring algorithm for real-time FMC control . International Journal of Computer Integrated Manufacturing , 13 : 533 – 544 .
   Web of Science ®Google Scholar
• Kim , CO and Kim , SS . 1997 . An efficient real-time deadlock-free control algorithm for automated manufacturing systems . International Journal of Production Research , 35 : 1545 – 1560 .
   Web of Science ®Google Scholar
• Kumaran , TK , Chang , W , Cho , H and Wysk , RA . 1994 . A structural approach to deadlock detection, avoidance and resolution in flexible manufacturing systems . International Journal of Production Research , 32 : 2361 – 2379 .
   Web of Science ®Google Scholar
• Lawley , M . 2000 . Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems . International Journal of Production Research , 38 : 2931 – 2950 .
   Web of Science ®Google Scholar
• Lawley , MA , Reveliotis , SA and Ferreira , PM . 1998 . A correct and scalable deadlock avoidance policy for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 14 : 796 – 809 .
   Google Scholar
• Leung , YT and Sheen , G . 1993 . Resolving deadlocks in flexible manufacturing cells . Journal of Manufacturing Systems , 12 : 291 – 304 .
   Web of Science ®Google Scholar
• Lewis , FK , Gurel , A , Bogdan , S , Doganalp , A and Pastravanu , OC . 1998 . Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems . Automatica , 34 : 1083 – 1100 .
   Web of Science ®Google Scholar
• Mati , Y , Rezg , N and Xie , X . 2001 . A taboo search approach for deadlock-free scheduling of automated manufacturing systems . Journal of Intelligent Manufacturing , 12 : 535 – 552 .
   Web of Science ®Google Scholar
• Reveliotis , SA and Ferreira , PM . 1996 . Deadlock avoidance policies for automated manufacturing cells . IEEE Transactions on Robotics and Automation , 12 : 845 – 857 .
   Google Scholar
• Viswanadham , N , Narahari , Y and Johnson , TL . 1990 . Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri-net models . IEEE Transactions on Robotics and Automation , 6 : 713 – 723 .
   Google Scholar
• Wu , N . 1999 . Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model . IEEE Transactions on Systems, Man, and Cybernetics , 29 : 192 – 204 .
   Web of Science ®Google Scholar
• Wu , N and Zhou , MC . 2001 . Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems . IEEE Transactions on Robotics and Automation , 17 : 658 – 669 .
   Google Scholar
• Wysk , RA , Yang , BN and Joshi , S . 1991 . A detection of deadlocks in flexible manufacturing cells . IEEE Transactions on Robotics and Automation , 7 : 853 – 859 .
   Google Scholar
• Xing K Lin F Hu B 2001 An optimal deadlock avoidance policy for manufacturing systems with flexible operation sequence and flexible routing Proceedings of the 2001 IEEE International Conference on Robotics and Automation pp. 3565–3570
   Google Scholar
• Yalcin , A and Boucher , TO . 2000 . Deadlock avoidance in flexible manufacturing systems using finite automata . IEEE Transactions on Robotics and Automation , 16 : 424 – 429 .
   Google Scholar
• Zhou , M . 1995 . Deadlock avoidance schemes in distributed robotic system: Petri net modeling and analysis . Journal of Robotic Systems , 12 : 177 – 187 .
   Google Scholar