描述了基于时间考虑的工作流模型重构的算法,以petri网为理论分析基础