时间Petri网的可调度分析及在FMS中的应用  

Schedulability Analysis of Time Petri Net and its Application in FMS

作　　者：翟正利[1,2] 丁志军[2] 

机构地区：[1]青岛理工大学计算机工程学院,青岛266520 [2]同济大学电子与信息工程学院,上海201804

出　　处：《计算机科学》2015年第1期12-18,共7页Computer Science

基　　金：国家重点基础研究发展计划(973计划)(2010CB328101);国家自然科学基金(61173042;61173181);上海市自然科学基金(13ZR1443100);山东省优秀中青年科学家科研奖励基金(BS2010DX009);青岛市科技计划项目(12-1-4-4-(7)-JCH)资助

摘　　要：在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析。通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法。如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误。提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论。讨论了柔性制造系统FMS中的车间装配子系统的可调度性。In a real-time system,the process of verifying whether a schedule of task execution meets the imposed timing constraints is referred to as scheduling analysis.This paper presented an approach to analyze the scheduling of real time systems modeled in time Petri nets by separating timing properties from other behavioral properties.If a specific task execution is schedulable,we could calculate the time span of the task execution,otherwise pinpointed out non-schedulable transitions to help adjust timing constraints and correct design error.A technique for compositional timing analysis was also proposed to deal with complex task sequences by decomposing it into some simple sub-task sequences,which not only improves efficiency but also facilitates the discussion of reachability issue with regard to scheduling.Finally,sche-duling analysis of an assembly system in flexible manufacturing systems （FMS） was discussed.

关 键 词：可调度分析 时间PETRI网 实时系统 柔性制造系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]