论文部分内容阅读
时间要素作为工作流管理的重要部分，是影响企业业务流程部署实施的关键因素。基于工作流中任务具有时间限制的特点，分析任务的时间要素，抽象出任务的形式化描述，定量计算两个连续任务执行的最大时间约束，提出可控时间约束Petri 网模型（Time Constraint-Net，TC-Net）。该模型在任务节点中添加时间信息，从任务开始执行时间到任务的执行结束时间及最大约束时间，提高任务时间信息描述精度；利用TC-Net 模型表示工作流过程中各项任务，基于任务间顺序、同步和并行关系的传递模型，细化实际业务流程中分析粒