| 基于时间Petri网模型的缓冲优先调度策略稳定性分析 |
| |
| 引用本文： | 林闯,戴琼海.基于时间Petri网模型的缓冲优先调度策略稳定性分析[J].自动化学报,2000,26(6):770-775. |
| |
| 作者姓名： | 林闯 戴琼海 |
| |
| 作者单位： | 1.清华大学计算机系,北京; |
| |
| 基金项目： | 国家自然科学基金!( 698730 1 2 )，国家重点基础研究发展规划!( G1 9990 32 70 7) |
| |
| 摘 要： | 描述了一种时间Petri网模型和方法,它能对具有缓冲优先调度可重入生产线系统进
行稳定性分析.基于系统模型标识的动态变化,以缓冲界限概念作为稳定性分析判据.这种方法
可用于具有固定优先次序调度策略的稳定性分析.推导了基本时间Petri网结构的稳定特性以
及具有正反馈环系统稳定的充分条件.这些研究结果可以用于多种实际系统的稳定性分析.
|
| 关 键 词： | 稳定性 缓冲界限 优先调度 正反馈 时间Petri网 |
| 收稿时间： | 1998-10-20 |
STABILITY ANALYSIS OF BUFFER PRIORITY SCHEDULING POLICIES USING TIMED PETRI NET MODELS |
| |
| LIN Chuang,DAI Qionghai.STABILITY ANALYSIS OF BUFFER PRIORITY SCHEDULING POLICIES USING TIMED PETRI NET MODELS[J].Acta Automatica Sinica,2000,26(6):770-775. |
| |
| Authors: | LIN Chuang DAI Qionghai |
| |
| Affiliation: | 1.Depart.of Computer Science,Tsinghua University,Beijing;Depart.of Automation,Tsinghua University,Beijing |
| |
| 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. |
| |
| Keywords: | Stability buffer boundedness priority scheduling positive feedback timed Petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
