Log-Based Simplification of Process Models

The visualization of models is essential for user-friendly human-machine interactions during Process Mining. A simple graphical representation contributes to give intuitive information about the behavior of a system. However, complex systems cannot always be represented with succinct models that can be easily visualized. Quality-preserving model simplifications can be of paramount importance to alleviate the complexity of finding useful and attractive visualizations. This paper presents a collection of log-based techniques to simplify process models. The techniques trade off visual-friendly properties with quality metrics related to logs, such as fitness and precision, to avoid degrading the resulting model. The algorithms, either cast as optimization problems or heuristically guided, find simplified versions of the initial process model, and can be applied in the final stage of the process mining life-cycle, between the discovery of a process model and the deployment to the final user. A tool has been developed and tested on large logs, producing simplified process models that are one order of magnitude smaller while keeping fitness and precision under reasonable margins.

[1]  A. J. M. M. Weijters,et al.  Flexible Heuristics Miner (FHM) , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[2]  Cw Christian Günther Process mining in flexible environments , 2009 .

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

[4]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[5]  Emden R. Gansner,et al.  A Technique for Drawing Directed Graphs , 1993, IEEE Trans. Software Eng..

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

[7]  Dirk Fahland,et al.  Simplifying discovered process models in a controlled manner , 2013, Inf. Syst..

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

[9]  Jcam Joos Buijs,et al.  Flexible evolutionary algorithms for mining structured process models , 2014 .

[10]  A Arya Adriansyah,et al.  Aligning observed and modeled behavior , 2014 .

[11]  Kenneth L. McMillan,et al.  Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits , 1992, CAV.

[12]  Eugene L. Lawler,et al.  The recognition of Series Parallel digraphs , 1979, SIAM J. Comput..

[13]  Josep Carmona,et al.  A Fresh Look at Precision in Process Conformance , 2010, BPM.

[14]  Manuel Mucientes,et al.  ProDiGen: Mining complete, precise and minimal structure process models with a genetic algorithm , 2015, Inf. Sci..

[15]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Incomplete Event Logs , 2014, Petri Nets.