Projection approaches to process mining using region-based techniques

Data Mining and Knowledge Discovery

Volumn 24, Issue 1, 2012, Pages 218-246

  Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Petri nets; Process mining; Theory of regions

Indexed keywords

AUTOMATED DISCOVERY; CENTRAL PROBLEMS; EFFICIENT ALGORITHM; EVENT-BASED; FORMAL REASONING; HEALTH CARE APPLICATION; IN-PROCESS; OVER FITTING PROBLEM; PROCESS MINING; PROCESS MODEL; PROJECTION TECHNIQUES; REGION-BASED; STATE-BASED; THEORY OF REGIONS;

ALGORITHMS; DATA MINING; HEALTH CARE; MATHEMATICAL MODELS; MEDICAL COMPUTING; PETRI NETS; SYSTEMS ANALYSIS;

AUTOMATA THEORY;

EID: 84856596133     PISSN: 13845810     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10618-011-0226-x     Document Type: Article

References (50)

1. Arnold A (1994) Finite transition systems. Prentice Hall, Englewood Cliffs
2. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In: Theory and practice of software (TAPSOFT). Lecture notes in computer science, vol 915. pp 364-383
3. Bergenthum R, Desel J, Lorenz R, SMauser (2007) Process mining based on regions of languages. In: Proceedings of 5th international conference on business process management (BPM), pp 375-383
4. R Bergenthum J Desel R Lorenz S Mauser 2008 Synthesis of Petri nets from finite partial languages Fundam Inform 88 4 437 468 1167.68037 2487904
5. Carmona J, Cortadella J, Kishinevsky M (2008a) Divide-and-conquer strategies for process mining. Tech. Rep. LSI-08-35-R, Software Department, Universitat Politècnica de Catalunya
6. Carmona J, Cortadella J, Kishinevsky M (2008b) A region-based algorithm for discovering Petri nets from event logs. In: Dumas M, Reichert M, Shan MC (eds) Proceedings of 6th international conference on business process management (BPM). Lecture notes in computer science, vol 5240. Springer, Berlin, pp 358-373
7. Carmona J, Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A (2008c) A symbolic algorithm for the synthesis of bounded Petri nets. In: van Hee KM, Valk R (eds) 29th international conference on application and theory of Petri nets and other models of concurrency, vol 5062.
8. Carmona J, Cortadella J, Kishinevsky M (2009) Divide-and-conquer strategies for process mining. In: Dayal U, Eder J, Koehler J, Reijers HA (eds) Proc. 7th international conference on business process management (BPM). Lecture notes in computer science, vol 5701. Springer, Heidelberg, pp 327-343
9. J Carmona J Cortadella M Kishinevsky 2009 New region-based algorithms for deriving bounded Petri nets IEEE Trans Comp 59 3 371 384 10.1109/TC.2009.131 10.1109/TC.2009.131 2647930
10. JE Cook AL Wolf 1998 Discovering models of software processes from event-based data ACM Trans Softw Eng Methodol 7 3 215 249 10.1145/287000.287001
11. J Cortadella M Kishinevsky L Lavagno A Yakovlev 1998 Deriving Petri nets from finite transition systems IEEE Trans Comput 47 8 859 882 10.1109/12.707587 1645386
12. Cvetković D, Rowlinson P, Simić S (1997) Eigenspaces of graphs. Cambridge University Press, Cambridge
13. J Desel W Reisig 1996 The synthesis problem of Petri nets Acta Informatica 33 4 297 315 10.1007/s002360050046 1395200
14. Dill D, Drexler A, Hu A, Yang C (1992) Protocol verification as a hardware design aid. In: Computer design: VLSI in computers and processors, 1992. ICCD '92. Proceedings. IEEE 1992 international conference, pp 522-525
15. Dongen B, Busi N, Pinna G, van Der Aalst WMP (2007) An iterative algorithm for applying the theory of regions in process mining. In: Workshop on formal aspects of business processes and web services
16. A Ehrenfeucht G Rozenberg 1990 Partial (Set) 2-structures. Part I, II Acta Informatica 27 315 368 10.1007/BF00264611 0696.68082 1045460
17. Fiduccia CM, Mattheyses RM (1982) A linear-time heuristic for improving network partitions. In: Proceedings of the 19th conference on design automation (DAC '82). IEEE Press, Piscataway, pp 175-181
18. Ghionna L, Greco G, Guzzo A, Pontieri L (2008) Outlier detection techniques for process mining applications. In: Foundations of intelligent systems, 17th international symposium, ISMIS 2008, Toronto, Canada, 20-23 May 2008. Proceedings. Lecture notes in computer science, vol 4994. Springer, Berlin, pp 150-159
19. G Greco A Guzzo L Pontieri D Saccà 2006 Discovering expressive process models by clustering log traces IEEE Trans Knowl Data Eng 18 8 1010 1027 10.1109/TKDE.2006.123
20. Günther C (2009) Process Mining in Flexible Environments. Dissertation, Technical University of Eindhoven, Eindhoven
21. Hack M (1972) Analysis of production schemata by Petri nets. M.S. thesis, MIT
22. D Harel 1987 Statecharts: A visual formulation for complex systems Sci Comput Program 8 3 231 274 10.1016/0167-6423(87)90035-9 0637.68010 896004
23. Hoare CAR (1978) Communicating sequential processes. In: Communications of the ACM, pp 666-677
24. Jolliffe IT (2002) Principal component analysis. Springer, New York
25. BW Kernighan S Lin 1970 An efficient heuristic procedure for partitioning graphs Bell Syst Tech J 49 1 291 307 0333.05001
26. Kindler E, Rubin V, Schäfer W (2006) Process mining and Petri net synthesis. In: Eder J, Dustdar S (eds) Business process management workshops. Lecture notes in computer science, vol 4103. Springer, Heidelberg, pp 105-116
27. L Maruster AJMM Weijters WMP van der Aalst A van den Bosch 2006 A rule-based approach for process discovery: Dealing with noise and imbalance in process logs Data Min Knowl Discov 13 1 67 87 10.1007/s10618-005-0029-z 2239684
28. McMillan KL (2001) Parameterized verification of the flash cache coherence protocol by compositional model checking. In: Margaria T, Melham TF (eds) Correct hardware design and verification methods (CHARME). Lecture notes in computer science, vol 2144. Springer, Heidelberg, pp 179-195
29. Medeiros AKA, van der Aalst WMP, Weijters AJMM (2003) Workflow mining: Current status and future directions. In: Meersman R, Tari Z, Schmidt DC (eds) On the move to meaningful internet systems, CoopIS/DOA/ODBASE. Lecture notes in computer science, vol 2888. Springer, Heidelberg, pp 389-406
30. Medeiros AA, Guzzo A, Greco G, van der Aalst W, Weijters A, van Dongen B, Sacca D (2008) Process mining based on clustering: A quest for precision. In: ter Hofstede A, Benatallah B, Paik H (eds) BPM 2007 international workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws). Lecture notes in computer science, vol 4928. Springer, Berlin, pp 17-29
31. AKA Medeiros AJMM Weijters WMP van der Aalst 2007 Genetic process mining: an experimental evaluation Data Min Knowl Discov 14 2 245 304 10.1007/s10618-006-0061-7 2364274
32. Milner R (1980) A calculus of communicating systems. Lecture notes in computer science. Springer, Berlin
33. M Mukund 1992 Petri nets and step transition systems Int J Found Comp Sci 3 4 443 478 10.1142/S0129054192000231 0774.68086 1209556
34. T Murata 1989 Petri nets: properties, analysis and applications Proc IEEE 77 541 580 10.1109/5.24143
35. Pretorius AJ (2008) Visualization of state transition graphs. PhD thesis, Technical University of Eindhoven
36. A Rozinat WMP van der Aalst 2008 Conformance checking of processes based on monitoring real behavior Inf Syst 33 1 64 95 10.1016/j.is.2007.07.001
37. M Schaefer W Vogler 2007 Component refinement and csc-solving for stg decomposition Theor Comp Sci 388 1-3 243 266 1143.68055 2368299
38. Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of place/transition net systems. In: Reisig W, Rozenberg G (eds) Lecture notes in computer science: lectures on Petri nets I: basic models, vol 1491. Springer, Berlin, pp 309-373
39. Talupur M, Tuttle MR (2008) Going with the flow: Parameterized verification using message flows. In: Cimatti A, Jones RB (eds) Formal methods in computer-aided design (FMCAD), IEEE Press, Los Alamitos, pp 1-8
40. van der Aalst W, Günther C (2007) Finding structure in unstructured processes: The case for process mining. In: Basten T, Juhás G, Shukla SK Application of concurrency to system design (ACSD). IEEE Computer Society, Bratislava, pp 3-12
41. van der Aalst W, Medeiros AKA, Weijters T. (2005) Genetic process mining. In: 26th international conference on applications and theory of Petri nets 2005 (ICATPN), Miami, USA, 20-25 June 2005. Proceedings. Lecture notes in computer science, vol 3536. Springer, Berlin, pp 48-69
42. W van der Aalst T Weijters L Maruster 2004 Workflow mining: Discovering process models from event logs IEEE Trans Knowl Data Eng 16 9 1128 1142 10.1109/TKDE.2004.47
43. van der Aalst W, Rubin V, Verbeek HMWE, Dongen B, Kindler E, Günther, C (2009) Process mining: a two-step approach to balance between underfitting and overfitting. Softw Syst Model 9(1):87-111 (2010)
44. Verbeek H, Pretorius A, van der Aalst WMP, van Wijk JJ (2007) On Petri-net synthesis and attribute-based visualization. In: Proc. workshop on petri nets and software engineering (PNSE'07), pp 127-141
45. Vogler W (1992) Modular construction and partial order semantics of Petri nets. In: LNCS, vol 625. Springer, Heidelberg
46. YC Wei CK Cheng 1991 Ratio cut partitioning for hierarchical designs IEEE Trans Comput-Aided Des Integr Circuits Syst 10 7 911 921 10.1109/43.87601 10.1109/43.87601
47. L Wen WMP van der Aalst J Wang J Sun 2007 Mining process models with non-free-choice constructs Data Min Knowl Discov 15 2 145 180 10.1007/s10618-007-0065-y 2409784
48. L Wen J Wang W van der Aalst B Huang J Sun 2009 A novel approach for process mining based on event types J Intell Inf Syst 32 163 190 10.1007/s10844-007-0052-1
49. Werf JMEM, van Dongen BF, Hurkens CAJ, Serebrenik A (2008) Process discovery using integer linear programming. In: van Hee KM, Valk R (eds) Petri Nets. 29th international conference on application and theory of Petri nets and other models of concurrency. Lecture notes in computer science, vol 5062. Springer, Berlin, pp 368-387
50. Weijters A, van der Aalst W, de Medeiros AA (2006) Process mining with the heuristics miner-algorithm. Tech Rep WP 166, BETA Working Paper Series, Eindhoven University of Technology