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

摘要：

在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析.通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法.如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误.提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论.讨论了柔性制造系统FMS中的车间装配子系统的可调度性.

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

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2015-02-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：12-18