IEEE Transactions on Automatic Control, Vol.48, No.7, 1235-1238, 2003
A sufficient condition for instability of buffer priority policies in re-entrant lines
We use a buffer-boundedness approach to study the stability of re-entrant lines with a buffer priority scheduling policy. Using Petri net models we establish a sufficient condition for instability of such systems having a positive feedback loop. An example of unstable systems is also given.