Naslov
Analysis of Deadlock and Circular Waits Using a Matrix Model for Discrete Event Manufacturing Systems

Autori
Lewis, Frank L. ; Gürel, Ayla ; Bogdan, Stjepan ; Doganalp, Alper ; Pastravanu, Octavian C.

Izvornik
Automatica (0005-1098) 34 (1998), 9; 1083-1100

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
control schemes; deadlock; discrete event systems; flexible manufacturing systems; matrix methods; Petri nets; resource allocation; structural properties

Sažetak
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 socalled 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 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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA