Process mining using integer linear programming

Workflow systems are nowadays extensively used in a large number of businesses for support of their business processes. Often, these systems generate logs concerning the activities performed in the business process. The process mining field uses this data to analyse, verify and improve the business process. Many approaches have been suggested and implemented, amongst which algorithms based on Integer Linear Programming (ILP). This side of the process mining field is relatively new. In this thesis some of the work by Van der Werf, Van Dongen et al. [24] is revisited for implementation in the new ProM 6 framework. Also a further look on some process mining properties in this ILP approach, like fitness, is given in order to improve the general results of the approach. Process Mining using Integer Linear Programming iii

[1]  J. Berstel,et al.  Context-free languages , 1993, SIGA.

[2]  Philippe Darondeau,et al.  Deriving Unbounded Petri Nets from Formal Languages , 1998, CONCUR.

[3]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[4]  C. Petri.  Kommunikation mit Automaten , 1962 .

[5]  Boudewijn F. van Dongen,et al.  Process Mining: Overview and Outlook of Petri Net Discovery Algorithms , 2009, Trans. Petri Nets Other Model. Concurr..

[6]  Mykola Pechenizkiy,et al.  Process mining: on the balance between underfitting and overfitting , 2008 .

[7]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[8]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[9]  Jan Mendling,et al.  What Makes Process Models Understandable? , 2007, BPM.

[10]  Sebastian Mauser,et al.  How to synthesize nets from languages - a survey , 2007, 2007 Winter Simulation Conference.

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

[12]  Wil M. P. van der Aalst,et al.  Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models , 2005, Business Process Management Workshops.

[13]  Philippe Darondeau,et al.  Polynomial Algorithms for the Synthesis of Bounded Nets , 1995, TAPSOFT.

[14]  Boudewijn F. van Dongen,et al.  A Meta Model for Process Mining Data , 2005, EMOI-INTEROP.

[15]  Robin Bergenthum,et al.  Process Mining Based on Regions of Languages , 2007, BPM.

[16]  Wil M.P. van der Aalst,et al.  Process mining: discovering workflow models from event-based data , 2001 .