时间要素作为工作流管理的重要部分，是影响企业业务流程部署实施的关键因素。基于工作流中任务具有时间限制的特点，分析任务的时间要素，抽象出任务的形式化描述，定量计算两个连续任务执行的最大时间约束，提出可控时间约束Petri网模型（TimeConstraint-Net，TC-Net）。该模型在任务节点中添加时间信息，从任务开始执行时间到任务的执行结束时间及最大约束时间，提高任务时间信息描述精度;利用TC-Net模型表示工作流过程中各项任务，基于任务间顺序、同步和并行关系的传递模型，细化实际业务流程中分析粒度。应用TC-Net模型进行实例分析，实验结果表明该工作流建模方法对时间违反而导致违规操作具有