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