|
|||||
|
|
| Mealy机的实时系统调度方法 | |
| 作者姓名： | 汲洋弘康 王飞 余婷 |
| 作者单位： | 华侨大学 信息科学与工程学院,福建 厦门,361021 |
| 基金项目： | 国家自然科学基金资助项目(61203040);福建省自然科学基金资助项目 |
| 摘 要： | 为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-time Petri网的最优合法序列.通过实例验证表明:所提出的方法具有较好的效果. |
| 关 键 词： | 实时系统 Mealy机 P-time Petri网 调度分析 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |