Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems

  • Authors:

  • FRANK L. LEWIS;AYLA GÜREL;STJEPAN BOGDAN;ALPER DOGANALP;OCTAVIAN C. PASTRAVANU

  • Affiliations:

  • Automation and Robotics Research Institute, The University of Texas at Arlington, 7300 Jack Newell Blvd. S., Ft. Worth, TX 76118-7115, USA;Department of Electrical and Electronic Engineering, Eastern Mediterranean University, Famagusta, via Mersin 10, Turkey.;Faculty of Electrical Engineering and Computing, University of Zagreb, Unska 3, HR-10000 Zagreb, Croatia.;Department of Electrical and Electronic Engineering, Eastern Mediterranean University, Famagusta, via Mersin 10, Turkey.;Department of Automatic Control and Industrial Informatics, Polytechnic Institute of Iasi, Str. Horia 7-9 6600 Iasi, Romania.

  • Venue:
  • Automatica (Journal of IFAC)
  • Year:
  • 1998

Quantified Score

Hi-index 22.15

Visualization

Abstract

The problem of deadlock in a large class of reentrant flowline systems is analysed based on a Petri net model. The relation between deadlock and circular waits is established by rigorously defining the situation of circular blocking. Deadlock analysis is then performed in terms of circular waits and their associated structures, the so-called critical siphons and critical subsystems. A dynamical system representation obtained by coupling the Petri net marking transition equation with the matrix rule-based controller equations is adopted. The task of computing the Petri net structures of deadlock analysis is largely simplified (operations involved are of polynomial complexity) by using the matrices of this system description. An on-line maximally permissive control policy for deadlock avoidance (MAXWIP) is then devised. This can be efficiently implemented by incorporating the ''outer-loop'' control decisions via certain dispatching control inputs. The result is a dispatching control with deadlock avoidance, which is a generalized kanban scheme.