中文摘要：

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

英文摘要：

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 modeling 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.