Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system Export

@article{citeulike:1032990, abstract = {\&\#60;p\&\#62;In modern highly automated flexible manufacturing systems, various parts are processed concurrently. Due to the concurrency and shared equipment usage, deadlock is a common problem that causes loss of productivity. When such a system is modelled by a digraph, existence of circuits in such a graph is a necessary condition for deadlock and knots and the order of circuits are closely related to impending deadlocks \&\#226;-\&\#8220; a type of deadlock that is more difficult to detect. A deadlock avoidance algorithm that dynamically evaluates the order of circuits is presented. The algorithm is highly permissive since the order evaluation captures more part flow dynamics, especially when there exist multiple knots in the digraph model. It also runs in polynomial time once the set of circuits of the digraph is given. Simulation results are provided to illustrate the application of the algorithm.\&\#60;/p\&\#62;}, author = {Zhang, Wenle}, citeulike-article-id = {1032990}, citeulike-linkout-0 = {http://www.ingentaconnect.com/content/tandf/tprs/2006/00000044/00000024/art00002}, keywords = {circuits, deadlock, digraphs}, month = {December}, pages = {5247--5259}, posted-at = {2007-01-10 10:12:12}, priority = {2}, title = {Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system}, url = {http://www.ingentaconnect.com/content/tandf/tprs/2006/00000044/00000024/art00002} }

TY - JOUR ID - citeulike:1032990 L3 - citeulike-article-id:1032990 N2 - <p>In modern highly automated flexible manufacturing systems, various parts are processed concurrently. Due to the concurrency and shared equipment usage, deadlock is a common problem that causes loss of productivity. When such a system is modelled by a digraph, existence of circuits in such a graph is a necessary condition for deadlock and knots and the order of circuits are closely related to impending deadlocks â-“ a type of deadlock that is more difficult to detect. A deadlock avoidance algorithm that dynamically evaluates the order of circuits is presented. The algorithm is highly permissive since the order evaluation captures more part flow dynamics, especially when there exist multiple knots in the digraph model. It also runs in polynomial time once the set of circuits of the digraph is given. Simulation results are provided to illustrate the application of the algorithm.</p> EP - 5259 TI - Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system SP - 5247 KW - circuits KW - deadlock KW - digraphs AU - Zhang, Wenle UR - http://www.ingentaconnect.com/content/tandf/tprs/2006/00000044/00000024/art00002 ER -