Implementation of a Deadlock Avoidance Policy for Multipart Reentrant Flow Lines Using a Matrix-Based Discrete Event Controller

• DOI: 10.1115/imece2002-33431
• Publication Date: 2008-05-27T11:08:31Z
• Authors: Jose Mireles; Frank L. Lewis; Ayla Gu¨rel
• Keywords: Deadlock prevention algorithms

A deadlock avoidance supervisory controller for Discrete Event (DE) Systems is implemented. The DE uses a novel rule-based matrix dispatching formulation (US patent received). This makes it direct to write down the from standard manufacturing tools such as bill of materials or assembly tree. It shown that controller’s form equations plus Petri Net marking transition equation together provide complete dynamical description systems. Deadlock-free rules are derived by performing circular wait analysis (CW) possible situations. We analyze so-called critical siphons, certain subsystems and resources develop guaranties deadlock-free limiting work-in-progress in associated with each CW. least-restrictive policy avoids deadlock. implemented on three-robot, two machine reentrant flow line, Intelligent Material Handling cell at Automation Robotics Research Institute UTA. Technical information given includes development LabVIEW®.