论文部分内容阅读
为实现工作流管理系统中的任务调度和时间管理。避免流程在多任务运转时产生溢出，提高流程的工作效率。采用不固定时延定义了着色时间Petri网，通过控制任务间的最小时距避免了溢出，并用任务监测器实现了相应的控制策略。以各任务间的时间间隔最小为优化目标，时串行、并行、条件选择和循环四种基本着色时间工作流网进行了时序分析和任务调度，推导出多任务在基本着色时间工作流网调度的数学模型和着色时间工作流网整体运行时间函数的计算公式。最后通过一个审批流程对论述的任务调度方法进行了验证。