Naslov
Deadlock-free dispatching in finite-buffer reentrant flowlines with a matrix implementation approach

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

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Theory and practice of control and systems : proceedings of the 6th IEEE Mediterranean conference / Tornambe, A ; Conte, G ; Perdon, A - Singapur : World Scientific Publishing, 1999, 658-665

Skup
6th IEEE Mediterranean conference

Mjesto i datum
Alghero, Italija, 09.06.1998. - 11.06.1998

Vrsta sudjelovanja
Poster

Vrsta recenzije
Nije recenziran

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

Sažetak
For finite-buffer automated manufacturing systems, the major stability issue is deadlock rather than bounded-buffer stability. In this paper, for a class of finite-buffer multiple reentrant flowline systems, necessary and sufficient conditions are given for the absence of deadlock. This leads to a multiple part-type last-buffer-first-serve dispatching policy that not only guarantees deadlock-free operation but also allows an efficient utilization of the resources. Petri net (PN) techniques are used in the analysis, introducing the notion of 'critical siphon', as well as the new notion of 'critical trap'. The problem of computational complexity is overcome by using certain submatrices of the PN incidence matrix, based on which computationally efficient matrix techniques are given for implementing the proposed dispatching policy.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA