Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective free space of circuitsFootnote†

†This paper is an extended version of Zhang and Judd (2005) published in the Proceedings of 2005 American Control Conference, Portland, OR.

References

• Banaszak , Z and Krogh , B . 1990 . Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Trans. Rob. Auto. , 6 : 724 – 733 .
   Google Scholar
• Barkaoui , K and Abdallah , IB . 1995 . Deadlock avoidance in FMS based on structural theory of Petri nets . in IEEE Symposium on Emerging Technologies and Factory Automation , 2 : 499 – 510 .
   Google Scholar
• Cho , H , Kumaran , TK and Wysk , R . 1995 . Graph-theoretic deadlock detection and resolution for flexible manufacturing systems . IEEE Trans. Rob. Auto. , 11 : 550 – 527 .
   Google Scholar
• Ezpeleta , J , Colom , JM and Martinez , J . 1995 . A Petri net based deadlock prevention policy for flexible manufacturing systems . IEEE Trans. Rob. Auto. , 11 April : 173 – 184 .
   Google Scholar
• Fanti , MP , Maione , B , Mascolo , S and Turchiano , B . 1997 . Event-based feedback control for deadlock avoidance in flexible production systems . IEEE Trans. Rob. Auto. , 13 : 347 – 363 .
   Google Scholar
• Hsieh , F and Chang , S . 1994 . Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems . IEEE Trans. Rob. Auto. , 10 : 196 – 209 .
   Google Scholar
• Johnson , DB . 1975 . Finding all the elementary circuits of a directed graph . Siam J. Comput. , 4 : 77 – 84 .
   Google Scholar
• Judd , RP and Faiz , T . 1995 . Deadlock detection and avoidance for a class of manufacturing systems . Proceedings of the 1995 American Control Conference . 1995 . pp. 3637 – 3641 .
   Google Scholar
• Lawley , MA . 1999 . Deadlock avoidance for production systems with flexible routing . IEEE Trans. Rob. Auto. , 15 : 497 – 509 .
   Google Scholar
• Li , Z and Zhou , MC . 2004 . Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems . IEEE Trans. Syst. Man and Cyber. Part A: Sys. Humans , 34 : 38 – 51 .
   Web of Science ®Google Scholar
• Li , Z , Uzam , M and Zhou , MC . 2004 . Comments on ‘deadlock prevention policy based on Petri nets and siphons’ . Int. J. Prod. Res. , 42 : 5253 – 5254 .
   Web of Science ®Google Scholar
• Uzam , M and Zhou , MC . 2006 . An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems . Int. J. Prod. Res. , 44 : 1987 – 2030 .
   Web of Science ®Google Scholar
• Viswanadham , N , Narahari , Y and Johnson , T . 1990 . Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models . IEEE Trans. Rob. Auto. , 6 : 713 – 723 .
   Google Scholar
• Wysk , R , Yang , N and Joshi , S . 1991 . Detection of deadlocks in flexible manufacturing cells . IEEE Trans. Rob. Auto. , 7 : 853 – 859 .
   Google Scholar
• Xing , K , Hu , B and Chen , H . 1996 . Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources . IEEE Trans. Auto. Cont. , 41 : 289 – 295 .
   Web of Science ®Google Scholar
• Zhang , W , Judd , RP and Deering , P . 2004 . Necessary and sufficient conditions for deadlocks in flexible manufacturing systems based on a digraph model . Asian J. Cont. , 6 : 217 – 228 .
   Web of Science ®Google Scholar
• Zhang , W , Judd , RP and Paul , P . 2006 . Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system . Int. J. Prod. Res. , 44 : 5247 – 5259 .
   Web of Science ®Google Scholar
• Zhang , W and Judd , RP . 2005 . Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective free space of circuits . Proceedings of the 2005 American Control Conference . 8–10 June 2005 , Portland, OR. pp. 3926 – 3931 .
   Google Scholar
• Zhou , M and DiCesare , F . 1992 . Parallel and sequential mutual exclusion for Petri net modeling of manufacturing systems with shared resources . IEEE Trans. Rob. Auto. , 7 : 550 – 527 .
   Google Scholar