优先级调度规则建模研究

基于规则的调度方法已广泛应用于各类调度问题的求解中。为揭示规则对调度系统所产生的具体作用，研究了调度规则的建模问题，并主要运用Ｐｅｔｒｉ网为优先级调度规则建模。文中首先分析了普通Ｐｅｔｒｉ网模型中分别存在于库所、令牌和变迁这三个层次上的顺序冲突现象，认为这些冲突可通过引入相应的优先级调度规则来解决；接着结合实例运用三种类型的扩展Ｐｅｔｒｉ网对各层次的优先级调度规则建模；最后通过分析规则调度系统的结构特征，指出可运用混合动态系统领域的有关理论来研究规则调度系统的建模、分析和控制问题。

Modeling of priority scheduling rules

Rule based scheduling method has been widely used in the solution of different kinds of scheduling problems. For the purpose of discovering the effect of the rules on the scheduling system, the modeling problem of priority scheduling rules, especially based on Petri Net, is discussed. First it is clarified that in ordinary Petri Net model, sequential conflict exists on the level of place, token and transition respectively, which can be resolved by introducing appropriate priority scheduling rules; then three kinds of extended Petri Net are used to model the above priority scheduling rules; finally through the analysis of the structure characteristic of rule based scheduling system, it is pointed out that theory of hybrid dynamic systems can be applied to the modeling, analysis and control of rule based scheduling systems.