Modeling of priority scheduling rules
Qiufeng Wu · Journal of Tsinghua University(Science and Technology) · 1998
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.