%0 Journal Article %A 陈莹 %A 邢建春 %A 杨启亮 %A 张孝鹏 %T 时间约束下任务关键系统的可调度性分析 %D 2018 %R 10.19678/j.issn.1000-3428.0048722 %J 计算机工程 %P 115-119,128 %V 44 %N 12 %X

针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。

%U http://www.ecice06.com/CN/10.19678/j.issn.1000-3428.0048722