华侨大学学报（自然科学版）Issue(5)：504-509,6.DOI:10.11830/ISSN.1000-5013.2014.05.0503
Mealy机的实时系统调度方法
Real?Time Scheduling Method Based on Mealy Machine
摘要
Abstract
In this paper,in order to get the optimal path of real?time concurrent systems,an optimal scheduling method based on Mealy machine was proposed.Through analyzing on the real?time system with P?time Petri nets model and mod-eling the relationship between the place and its corresponding time with Mealy machine,the optimal path satisfied with non?deadlock and non?blocking was obtained.Based on this method,the optimal legal firing sequence of P?time Petri nets can be obtained,experimental results show that,the proposed method has a good effect.关键词
实时系统/Mealy机/P-time Petri网/调度分析Key words
realtime system/mealy machine/Ptime Petri nets/scheduling analysis分类
信息技术与安全科学引用本文复制引用
汲洋弘康,王飞,余婷..Mealy机的实时系统调度方法[J].华侨大学学报（自然科学版）,2014,(5):504-509,6.基金项目
国家自然科学基金资助项目（61203040）；福建省自然科学基金资助项目 （）
