工作流建模方法是工作流研究中至关重要的一环,它不仅是工作流管理系统的基础、计算机化业务过程的形式表示,还是工作流理论研究和实际应用的基础。工作流设计是一个耗时的复杂过程,而且实际的工作流程和管理系统中定义的工作流程之间存在差异。为了支持更精确的流程建模,基于日志的挖掘技术被提出,即从已有的业务流程执行日志中挖掘出与业务需求相符的工作流模型。本文根据工作流管理的原理和开发技术,设计并实现了一个基于Petri网的轻量级工作流引擎。针对Q算法的不足,提出了基于日志的流程挖掘算法,实现对短循环和隐含任务的挖掘。论文的主要内容如下：1.根据工作流的基本概念,分析模型特点,结合Swing、XML、JGraph开源技术设计并实现了工作流过程定义工具。2.结合Petri网理论,提出了工作流引擎调度算法,设计并实现了一种轻量级的工作流引擎。3.提出了从日志事件中挖掘短循环和隐含任务的Alpha_C1算法和Alpha_C2算法。论文分别实现了上述算法,并将它们作为挖掘插件集成在开源的挖掘框架ProM 6中。