An approach to repair Petri net-based process models with choice structures

ABSTRACT Model repair is regarded as a new process mining technique. It can repair process models of information systems according to the generated event logs. The existing approaches focus on eliminating deviations between the activities performed by a process model and those observed in event logs. However, they cannot efficiently enhance other conformance dimensions, such as precision and simplicity. In order to obtain a repaired model with higher conformance, this work designs a new model repair approach. It builds process models via Petri nets (PNs) and investigates how to repair a PN-based process model with choice structures. An extended alignment is defined to be added to reachable markings of a Petri net. Then we can compute the deviations in the Petri net and repair the process model accordingly. The correctness and effectiveness of the proposed approach is illustrated by some examples.

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

[2]  Boudewijn F. van Dongen,et al.  Measuring precision of modeled behavior , 2015, Inf. Syst. E Bus. Manag..

[3]  Boudewijn F. van Dongen,et al.  Alignment Based Precision Checking , 2012, Business Process Management Workshops.

[4]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[5]  Arthur H. M. ter Hofstede,et al.  Automated Error Correction of Business Process Models , 2011, BPM.

[6]  Moe Thandar Wynn,et al.  Impact-Driven Process Model Repair , 2016, ACM Trans. Softw. Eng. Methodol..

[7]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[8]  C. Humby,et al.  Process Mining: Data science in Action , 2014 .

[9]  Boudewijn F. van Dongen,et al.  Conformance Checking Using Cost-Based Fitness Analysis , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[10]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[11]  Jana Koehler,et al.  Improving Business Process Models with Reference Models in Business-Driven Development , 2006, Business Process Management Workshops.

[12]  Yuyue Du,et al.  Reachability analysis of logic Petri nets using incidence matrix , 2014, Enterp. Inf. Syst..

[13]  Lu Wang,et al.  Constructing Service Clusters Based on Service Space , 2017, International Journal of Parallel Programming.

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

[15]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

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

[17]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

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

[19]  MengChu Zhou,et al.  A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..

[20]  Dirk Fahland,et al.  Model repair - aligning process models to reality , 2015, Inf. Syst..

[21]  A Anne Rozinat,et al.  Process mining : conformance and extension , 2010 .

[22]  Toon Calders,et al.  Using minimum description length for process mining , 2009, SAC '09.

[23]  Qingtian Zeng,et al.  Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining , 2019, IEEE Transactions on Services Computing.

[24]  Mario Piattini,et al.  A BPMN Extension for the Modeling of Security Requirements in Business Processes , 2007, IEICE Trans. Inf. Syst..

[25]  Arkady B. Zaslavsky,et al.  Sensing as a Service and Big Data , 2013, ArXiv.

[26]  Wei Liu,et al.  Soundness preservation in composed logical time workflow nets , 2012, Enterp. Inf. Syst..

[27]  Sander J. J. Leemans,et al.  Scalable Process Discovery with Guarantees , 2015, BMMDS/EMMSAD.

[28]  Qingtian Zeng,et al.  Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets , 2016, Enterp. Inf. Syst..