Process Mining

The deployment of Workflow Management systems is a timeconsuming and error-prone task. A possible solution is process mining, which automatically extracts workflow models from event-data logs. However, the current research in process mining still has problems in mining some common constructs in workflow models. Among these constructs are short loops, which are loops of length one and two. For instance, the α-algorithm was proven to mine sound Structured Workflow nets without short loops. In this paper, we present a new algorithm (the α-algorithm) that can handle short loops, and we prove that it correctly mines all sound Structured Workflow nets. The α-algorithm is based on the α-algorithm and is implemented in the EMiT tool.

[1]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[2]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[3]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[4]  Bartosz Kiepusewski,et al.  Expressiveness and suitability of languages for control flow modelling in workflows , 2003 .

[5]  Fabio Casati,et al.  Improving Business Process Quality through Exception Understanding, Prediction, and Prevention , 2001, VLDB.

[6]  Wil M. P. van der Aalst,et al.  Process Mining: Discovering Direct Successors in Process Logs , 2002, Discovery Science.

[7]  E. Mark Gold,et al.  Complexity of Automaton Identification from Given Data , 1978, Inf. Control..

[8]  Lars G Fischer Workflow Handbook 2002, Workflow Management Coalition , 2002 .

[9]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[10]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[11]  M. Z. Muehlen Process-driven Management Information Systems-Combining Data Warehouses and Workflow Technology , 2001 .

[12]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[13]  Guido Schimm Process Miner - A Tool for Mining Process Schemes from Event-Based Data , 2002, JELIA.

[14]  Wil M. P. van der Aalst,et al.  Workflow Mining: Current Status and Future Directions , 2003, OTM.

[15]  Alexander L. Wolf,et al.  Software process validation: quantitatively measuring the correspondence of a process to a model , 1999, TSEM.

[16]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[17]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[18]  Joachim Herbst,et al.  Dealing with Concurrency in Workflow Induction , 2000 .

[19]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[20]  Alexander L. Wolf,et al.  Event-based detection of concurrency , 1998, SIGSOFT '98/FSE-6.

[21]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

[22]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[23]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[24]  Frank Leymann,et al.  Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von Prozeßmodellen , 2001, BTW.

[25]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[26]  Michael Rosemann,et al.  Workflow-based process monitoring and controlling-technical and organizational issues , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[27]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[28]  Leonard Pitt,et al.  Inductive Inference, DFAs, and Computational Complexity , 1989, AII.

[29]  Johann Eder,et al.  A Data Warehouse for Workflow Logs , 2002, EDCIS.

[30]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[31]  Johann Eder,et al.  A Data Warehouse for Work∞ow Logs , 2002 .

[32]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[33]  Dimitris Karagiannis,et al.  Integrating machine learning and workflow management to support acquisition and adaptation of workflow models , 2000, Intell. Syst. Account. Finance Manag..

[34]  Boudewijn F. van Dongen,et al.  Discovering Workflow Performance Models from Timed Logs , 2002, EDCIS.