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

作者：Lin C^*; Xu MW; Marinescu DC; Ren FY; Shan ZG

来源：IEEE Transactions on Automatic Control, 2003, 48(7): 1235-1238.

DOI：10.1109/TAC.2003.814268

• buffer boundedness
• Petri net
• priority scheduling
• re-entrant lines
• stability

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.

• 出版日期2003-7
• 单位清华大学