基于时间Petri网模型的缓冲优先调度策略稳定性分析

STABILITY ANALYSIS OF BUFFER PRIORITY SCHEDULING POLICIES USING TIMED PETRI NET MODELS

描述了一种时间 Petri网模型和方法 ,它能对具有缓冲优先调度可重入生产线系统进行稳定性分析 .基于系统模型标识的动态变化 ,以缓冲界限概念作为稳定性分析判据 .这种方法可用于具有固定优先次序调度策略的稳定性分析 .推导了基本时间 Petri网结构的稳定特性以及具有正反馈环系统稳定的充分条件 .

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.