A process mining algorithm to mixed multiple-concurrency short-loop structures

Abstract Process mining is a technique that can discover and enhance business processes by extracting knowledge from the event logs generated in information systems. A mixed multiple-concurrency short-loop structure is a frequently appearing structure in business processes. It cannot be mined accurately (or well) from incomplete logs by existing methods to the best of our knowledge. In this paper, an AlphaMining algorithm is proposed to discover mixed multiple-concurrency short-loop structures via Petri nets. First, the activities are matched with a triangular two-degree loop or a quadrilateral two-degree loop. Then, two kinds of short-loop structures are identified from the incomplete logs. Algorithms are proposed to correctly construct models with multiple-concurrency short-loop structures. Finally, the proposed method is integrated as a plug-in into an open-source process mining tool named ProM. The correctness and effectiveness of the proposed method are verified by experiments.

[1]  MengChu Zhou,et al.  Emergency Traffic-Light Control System Design for Intersections Subject to Accidents , 2016, IEEE Transactions on Intelligent Transportation Systems.

[2]  Wei Liu,et al.  Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets , 2019, Int. J. Softw. Eng. Knowl. Eng..

[3]  Lu Wang,et al.  Soundness Analytics of Composed Logical Workflow Nets , 2017, International Journal of Parallel Programming.

[4]  MengChu Zhou,et al.  Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.

[5]  Xiaoyu Lu,et al.  Hybrid Petri nets for modeling and analysis of microgrid systems , 2016, IEEE/CAA Journal of Automatica Sinica.

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

[7]  Guanjun Liu Complexity of the deadlock problem for Petri nets modeling resource allocation systems , 2016, Inf. Sci..

[8]  Hongye Su,et al.  An improved approach to test diagnosability of bounded petri nets , 2017, IEEE/CAA Journal of Automatica Sinica.

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

[10]  GuanJun Liu Some Complexity Results for the Soundness Problem of Workflow Nets , 2014, IEEE Transactions on Services Computing.

[11]  Wei Liu,et al.  Business Process Modeling and Analysis Based on Queue Logical Petri Nets , 2019, Int. J. Softw. Eng. Knowl. Eng..

[12]  Lu Wang,et al.  A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets , 2019, IEEE Access.

[13]  Shixin Liu,et al.  Lexicographic Multiobjective Scatter Search for the Optimization of Sequence-Dependent Selective Disassembly Subject to Multiresource Constraints , 2020, IEEE Transactions on Cybernetics.

[14]  MengChu Zhou,et al.  A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR , 2017, IEEE Transactions on Automatic Control.

[15]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages , 2009, Fundam. Informaticae.

[16]  MengChu Zhou,et al.  A Two-level Traffic Light Control Strategy for Preventing Incident-Based Urban Traffic Congestion , 2018, IEEE Transactions on Intelligent Transportation Systems.

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

[18]  Kamel Barkaoui,et al.  Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems , 2014, Inf. Sci..

[19]  Yuhua Xu,et al.  Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri Nets , 2018, IEEE Access.

[20]  MengChu Zhou,et al.  Analysis and Application of Logical Petri Nets to E-Commerce Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

[22]  Aaron E. Maxwell,et al.  Mapping the Topographic Features of Mining-Related Valley Fills Using Mask R-CNN Deep Learning and Digital Elevation Data , 2020, Remote. Sens..

[23]  Jianmin Wang,et al.  Mining process models with non-free-choice constructs , 2007, Data Mining and Knowledge Discovery.

[24]  Julijana Lekić,et al.  Discovering Block–Structured Parallel Process Models from Causally Complete Event Logs , 2016 .

[25]  Rong Su,et al.  Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets , 2018, IEEE/CAA Journal of Automatica Sinica.

[26]  Chungang Yan,et al.  Detecting data-flow errors based on Petri nets with data operations , 2018, IEEE/CAA Journal of Automatica Sinica.

[27]  Jianmin Wang,et al.  Mining process models with prime invisible tasks , 2010, Data Knowl. Eng..

[28]  Naiqi Wu,et al.  Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement , 2017, Inf. Sci..