基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。

On the Petri Net Model for Distributed Real-Time Scheduling

As a visual specification language,petri net is increasingly used for the evaluation and analysis of real-time systems.This paper proposes a petri net model for distributed real-time system,presents its local scheduler and message scheduler.Based on proposed model,a simulator for distributed real-time scheduling can be developed.So,at the early stages of development ,we can used it to verify whether timing constraints of system tasks can be ensured under speci-fied local scheduling and message scheduling policy.At the same time ,this model can be easily translated into rapid prototype of system.