Naslov
Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines

Autori
Gurel, Ayla ; Bogdan, Stjepan ; Lewis, Frank

Izvornik
IEEE Transactions on Automatic Control (0018-9286) 45 (2000), 11; 2086-2090

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

Ključne riječi
control policy; deadlock; dispatching; flexible manufacturing systems

Sažetak
For finite-buffer manufacturing systems, the major stability issue is 'deadlock', rather than 'bounded-buffer-length stability.' The paper introduces the concept of 'system deadlock,' defined rigorously in Petri net terms, and system operation with uninterrupted part-flow is characterised in terms of the absence of this condition. For a large class of finite-buffer multi-class re-entrant flowline systems an analysis of 'circular waits' yields necessary and sufficient conditions for the occurrence of 'system deadlock'. This allows the formulation of a maximally permissive one-step-look-ahead deadlock-avoidance control policy for dispatching jobs, while maximizing the percent utilisation of resources. The result is a generalized kanban dispatching strategy, which is more general than the standard multi-class last buffer first serve (LBFS) dispatching strategies for finite buffer flowlines that typically under-utilize the resources. The problem of computational complexity associated with Petri net applications is overcome by using certain sub-matrices of the PN incidence matrix. Computationally efficient matrix techniques are given for implementing the deadlock-free dispatching policy.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA