A sufficient condition for instability of buffer priority policies in re-entrant lines

Chuang Lin,Mingwei Xu,D. C. Marinescu,Fengyuan Ren,Zhiguang Shan
DOI: https://doi.org/10.1109/TAC.2003.814268
2003-01-01
Abstract: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.
What problem does this paper attempt to address?