近年来，工作流管理系统已经得到广泛的应用。工作流管理系统的应用，需要有一个设计良好的工作流模型。通过模型可以分析流程的性质和效率，找到可能改进的途径。然而，工作流模型的建立却不是一件容易的事情。　　 建立工作流模型的一种方法是从工作流本身执行所产生的日志出发，挖掘出其中的一些有价值的信息，进而构造出原工作流模型。这个过程叫做工作流挖掘。工作流挖掘至少有两方面的作用。一方面，可以作为建模方法，帮助人们知道一个工作流到底是怎么运作的；另一方面，可以用来和原模型进行差异比较，发现原模型的不足以及错误。　　 时序关系是工作流的重要组成部分。本文采用基于时间Petri网的时间工作流网作为工作流挖掘的模型，该模型能够接纳日志中的时间信息，从而能够描述工作流中的时序关系。设计了一个基于α算法的挖掘算法αt算法，该算法对满足结构化性质的时间工作流网，能够通过工作流运行的日志，挖掘出原模型事件之间的时间约束。　　 αt算法扩展了α算法，挖掘出了更多的信息，能够更深入的应用于工作流系统的建模和分析。