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

摘要

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