时间Petri网的可调度分析及在FMS中的应用
Schedulability Analysis of Time Petri Net and its Application in FMS作者机构：青岛理工大学计算机工程学院青岛266520 同济大学电子与信息工程学院上海201804
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：2015年第42卷第1期
页 面：12-18页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家重点基础研究发展计划(973计划)(2010CB328101) 国家自然科学基金(61173042 61173181) 上海市自然科学基金(13ZR1443100) 山东省优秀中青年科学家科研奖励基金(BS2010DX009) 青岛市科技计划项目(12-1-4-4-(7)-JCH)资助
主 题：可调度分析 时间Petri网 实时系统 柔性制造系统
摘 要：在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析。通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法。如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误。提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论。讨论了柔性制造系统FMS中的车间装配子系统的可调度性。
维普期刊数据库
同方期刊数据库