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

On the Petri Net Model for Distributed Real-Time Scheduling

作　　者：曹双进[1] 董荣胜[1] 古天龙[1] 蔡国永[1] 

机构地区：[1]桂林电子工业学院计算机系,桂林541004

出　　处：《计算机工程与应用》2003年第30期75-78,共4页Computer Engineering and Applications

基　　金：广西自然科学基金(编号:桂科自0229051)资助

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

关 键 词：高级PETRI网 委派执行 分布式实时系统 调度模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]