Mealy机的实时系统调度方法

摘要：

为得到实时并发系统的最优运行路径，提出一种基于 Mealy机建模的最优调度方法。通过分析以 P？ time Petri网建模的实时系统，并用 Mealy机建立中库所及其对应时间的关系，得到在满足系统非死锁、非阻塞特性下的最优路径。基于这种方法，可获得 P？time Petri网的最优合法序列。通过实例验证表明：所提出的方法具有较好的效果。

关键词：实时系统、Mealy机、P-time Petri网、调度分析

分类号：TP271.8(自动化技术及设备)

资助基金：国家自然科学基金资助项目61203040；福建省自然科学基金资助项目2011J01352

在线出版日期：2014-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：504-509