Mealy机的实时系统调度方法

• 作者: 余婷 汲洋弘康 王飞
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 实时系统 Mealy机 P-time Petri网 调度分析
• 年，卷（期）: 2014,（5）
• 页码范围: 504-509
• 页数: 6页
• 分类号: TP271.8
• 语种: 中文
• DOI: 10.11830/ISSN.1000-5013.2014.05.0503

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王飞	华侨大学信息科学与工程学院	17	51	3.0	6.0
2	汲洋弘康	华侨大学信息科学与工程学院	1	1	1.0	1.0
3	余婷	华侨大学信息科学与工程学院	1	1	1.0	1.0