商業流程模型是一種使企業對於內部所有商業行為一目瞭然的模型。透過商業流程模型，企業能以較簡易的方式得知現有流程的情形。而事件記錄檔為商業流程模型的來源，企業中每次的商業活動均會透過資訊系統儲存於資料庫中，透過流程探勘的方式，能將事件記錄檔轉為流程模型。
本研究透過系統設計之初的參考模型來進行流程探勘，根據事件記錄檔來修正系統初期的參考模型以期求得表達現有系統最佳的流程模型。本研究所提出之流程探勘演算法以因果矩陣的型式為基礎進行探勘流程作業。
研究方法主要包含概念設計階段、設計階段以及範例驗證階段。在概念設計階段本研究將探討參考模型可能發生的變化。設計階段將提出本研究發展之演算法以修正參考模型為表達事件記錄檔之最佳流程模型。範例驗證階段將設計範例驗證本方法之可行性，同時分析本流程探勘演算法適用的流程模型。
本研究所提出之探勘演算法能有效將參考模型修正為描述現實狀況之流程模型。另外，針對分支流程路徑執行不平均的狀況，透過記錄執行錯誤活動修正能有效得到反映事件記錄檔之流程模型。

Business process model can be used to express the business behaviors in a company. It is easier to understand the workflow in the company through the business model. By using process mining algorithm, the business process model can be investigated from the workflow logs saved by the information system in the database.
However, reference model usually describes the system in the early stages. It is a model similar with the process model but not the same. By identifying the difference between reference model and the workflow logs is a feasible approach to identify the business process at present.
The mining algorithm proposed in this work applies both of the reference model and the workflow logs. First of all, reference model should be transferred causal matrix. Second, find out the different activities and the causal relations between reference model and workflow logs and modify them. Then, determine the logic relations between the activities. Furthermore, make sure that every trace in the workflow logs can be enforced. The best process model is a model can make all the traces in the workflow logs enforced properly.
Through the empirical test, the process model mined by this mining algorithm is better than the GA miner in the AND situation. Besides, the mining algorithm proposed in the paper can identify the activities difference and the logic difference in the reference model and the workflow logs.

[1] T.H. Davenport and J.E. Short, “The New Industrial Engineering: Information Technology and Business Redesign”, Sloan Management Review, Vol.31, No.4, pp.11-27, 1990
[2] W.M.P. van der Aalst, “Formalization and Verification of Even-driven Process Chains”, Information and Software Technology, Vol.41, pp.639-650, 1999
[3] T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol.77, No.4, pp.541-580, 1989
[4] F.B. Vernadat, “Enterprise Modeling and Integration - Principles and Applications”, Chapman and Hall, 1996
[5] W.M.P. van der Aalst and K.M. van Hee, “Workflow Management: Models, Methods, and Systems”, MIT press, Cambridge, MA, 2002
[6] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros, “Workflow Patterns”, Distributed and Parallel Databases, Vol.14, No.1, pp.5-51, 2003
[7] E. Oren and A. Haller, “Formal Frameworks for Workflow Modelling”, DERI Technical Report, pp.1-21, 2005
[8] R. Liu and A. Kumar, “An Analysis and Taxonomy of Unstructured Workflows”, BPM2005, Nancy, France, pp. 268-284, 2005
[9] M. A. Marsan, G. Conte, and G. Balbo, “A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems”, ACM Transactions on Computer Systems, Vol.2, No.2, pp.93-122, 1984.
[10] A. A. Desrochers and R. Y. Al-Jaar, “Applications of Petri Nets in Manufacturing Systems”, The Institute of Electrical and Electronics Engineers, pp.56-58.
[11] W. M. P. van der Aalst, “Woflan: a Petri-Net-Based Workflow Analyzer”, Computing Science Reports, 1999.
[12] J. M. Proth and X. Xie, “Petri Nets-A Tool for Design and Management of Manufacturing Systems”, Wiley, pp.61-79, 1996.
[13] J. L. Peterson, “Petri Net Theory and The Modeling of Systems”, Prentice-Hall INC., pp.79-90.
[14] A.K. Alves de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst, “Using Genetic Algorithms to Mine Process Models：Representation, Operators and Results”, Beta Working Paper, Eindhoven University of Technology, 2004
[15] W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters, “Genetic Process Mining”, Lecture Notes in Computer Science, Vol.3536, pp.48-69, 2005
[16] J. Mendling, G. Neumann, and M. Nüttgens, “Towards Workflow Pattern Support of Event-Driven Process Chains (EPC)”, BTW 2005, Karlsruhe, Germany, CEUR Workshop Proceedings, Vol.145, pp. 23-38, 2005
[17] W.M.P. van der Aalst, A.J.M.M. Weijters, and L.Maruster, “Workflow Mining：Discovering Process Models from Event Logs”, Knowledge and Data Engineering , IEEE Transactions on Knowledge and Data EngineeringVol.16, Issue 9, pp.1128-1142, 2004
[18] W.M.P. van der Aalst and B.F. van Dongen, “Discovering Workflow Performance Models from Timed Logs”, Lecture Notes in Computer Science, Vol.2480, pp.107-110, 2002
[19] A.J.M.M. Weijters and W.M.P. van der Aalst, “Rediscovering Workflow Models from Event-Based Data”, Engineering of Intelligent Systems, pp.65-65, 2003
[20] L. Wen, J. Wang and J.G. Sun. “Detecting Implicit Dependencies Between Tasks from Event Logs”, Lecture Notes in Computer Science, Vol.3841, pp.591- 603, 2006
[21] W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Gunther, “Process Mining: A Two-Step Approach using Transition Systems and Regions”, BPM Center Report BPM-06-30, BPMcenter.org, 2006
[22] A.K. Alves de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst, “Genetic Process Mining：A Basic Approach and its Challenges”, Lecture Notes in Computer Science, Vol.3812, pp.203-215, 2006
[23] A.K. Alves de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst, “Genetic Process Mining：An Experimental Evaluation”, Data Mining and Knowledge Discovery,Vol.14, pp.245-304, 2007
[24] A.J.M.M. Weijters and W.M.P. van der Aalst, “Rediscovering Workflow Models from Event-Based Data using Little Thumb”, Integrated Computer-Aided Engineering, Vol.10, pp.151-162, 2003
[25] A. Rozinat, A.K. Alves de Mediros, C.W. Gunther, A.J.M.M. Weijters and W.M.P. van der Aalst, “The Need for a Process Mining Evaluation Framework in Research and Practice”, Lecture Notes in Computer Science, Vol.4928, pp.84-89, 2008
[26] A. Rozinat, A.K. Alves de Mediros, C.W. Gunther, A.J.M.M. Weijters, and W.M.P. van der Aalst, “Towards an Evaluation Framework for Process Mining Algorithms”, Lecture Notes in Computer Science, Vol.4928, pp.84-89, 2008