时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限 ,提出了基于Petri网的工作流时间约束建模方法。首先 ,将工作流网扩展为时间约束工作流网 ,然后分析了工作流网的时间特性 ,并提出了时间约束工作流网的可调度性分析算法。研究结果表明 ,所提出的建模方法能全面描述工作流系统中的时间信息 。

一种改进的分布强实时系统可调度性分析算法

Holistic算法是用于预测分布强实时系统可调度性的一种有用的方法 .对该算法进行改进 ,扩展了原算法 ,使其更具普遍性 .并且以一种高可靠、强实时、分布信息处理系统为研究背景 ,对有关应用实例进行了测试和分析 .实验结果说明 ,改进后的算法更加准确、有效 .