Stability Analysis of Buffer Priority Scheduling Policies Using Timed Petri Net Models
-
摘要: 描述了一种时间Petri网模型和方法,它能对具有缓冲优先调度可重入生产线系统进 行稳定性分析.基于系统模型标识的动态变化,以缓冲界限概念作为稳定性分析判据.这种方法 可用于具有固定优先次序调度策略的稳定性分析.推导了基本时间Petri网结构的稳定特性以 及具有正反馈环系统稳定的充分条件.这些研究结果可以用于多种实际系统的稳定性分析.Abstract: A timed Petri net approach to determining the conditions for stability of a reentrant line system with buffer priority scheduling policy is described in this paper. We use the concept of buffer boundedness based on the dynamic behavior of the markings in the system model. The method is used to demonstrate the stability of the fixed priority scheduling policies. We derive stability properties of basic timed Petri net structures and sufficient conditions for system stability based on the concept of positive feedback loop (PFL). These new results can be applied to the stability analysis of the systems.
-
Key words:
- Stability /
- buffer boundedness /
- priority scheduling /
- positive feedback /
- timed Petri nets
-
计量
- 文章访问数: 1917
- HTML全文浏览量: 47
- PDF下载量: 1253
- 被引次数: 0
下载:
