Simplifying discovered process models in a controlled manner

Information Systems

Volumn 38, Issue 4, 2013, Pages 585-605

  Fahland, Dirk ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Branching processes; Model simplification; Petri nets; Process mining

Indexed keywords

DATA MINING; PETRI NETS; PROBABILITY DISTRIBUTIONS;

BRANCHING PROCESS; MODEL SIMPLIFICATION; OVERFITTING; POSTPROCESSING APPROACH; PROCESS MINING; PROCESS MODEL; PROCESS MODELING;

PROCESS CONTROL;

EID: 84881218710     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2012.07.004     Document Type: Article

References (36)

1. W.M.P. van der Aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer, 2011.
2. B.F. van Dongen, A.K. Alves de Medeiros, L. Wen, Process mining: overview and outlook of Petri net discovery algorithms, Transactions on Petri Nets and Other Models of Concurrency 2 (2009) 225-242.
3. IEEE Task Force on Process Mining, Process Mining Manifesto, in: BPM Workshops, LNBIP, vol. 99, Springer, 2011.
4. A.J.M.M. Weijters, W.M.P. van der Aalst, Rediscovering workflow models from event-based data using little thumb, Integrated Computer-Aided Engineering 10 (2) (2003) 151-162.
5. C.W. Günther, W.M.P. van der Aalst, Fuzzy mining: adaptive process simplification based on multi-perspective metrics, in: BPM 2007, Lecture Notes in Computer Science, vol. 4714, Springer, 2007, pp. 328-343.
6. A.K. Alves de Medeiros, A.J.M.M. Weijters, W.M.P. van der Aalst, Genetic process mining: an experimental evaluation, Data Mining and Knowledge Discovery 14 (2) (2007) 245-304. (Pubitemid 46418257)
7. W.M.P. van der Aalst, A.K. Alves de Medeiros, A.J.M.M. Weijters, Genetic process mining, in: G. Ciardo, P. Darondeau (Eds.), Applications and Theory of Petri Nets 2005, Lecture Notes in Computer Science, vol. 3536, Springer, 2005, pp. 48-69. (Pubitemid 41422005)
8. R. Bergenthum, J. Desel, R. Lorenz, S. Mauser, Process mining based on regions of languages, in: BPM 2007, Lecture Notes in Computer Science, vol. 4714, Springer, 2007, pp. 375-383.
9. J.M. van der Werf, B.F. van Dongen, C.A.J. Hurkens, A. Serebrenik, Process discovery using integer linear programming, Fundamenta Informaticae 94 (2010) 387-412.
10. J. Carmona, J. Cortadella, Process mining meets abstract interpretation, in: J. Balcazar (Ed.), ECML/PKDD 210, Lecture Notes in Artificial Intelligence, vol. 6321, Springer, 2010, pp. 184-199.
11. B.F. van Dongen, W.M.P. van der Aalst, Multi-phase process mining: building instance graphs, in: ER 2004, Lecture Notes in Computer Science, vol. 3288, Springer, 2004, pp. 362-376. (Pubitemid 39745303)
12. W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, C.W. Günther, Process mining: a two-step approach to balance between underfitting and overfitting, Software and System Modeling 9 (1) (2010) 87-111.
13. W.M.P. van der Aalst, A.J.M.M. Weijters, L. Maruster, Workflow mining: discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering 16 (9) (2004) 1128-1142.
14. L. Wen, W.M.P. van der Aalst, J. Wang, J. Sun, Mining process models with non-free-choice constructs, Data Mining and Knowledge Discovery 15 (2) (2007) 145-180. (Pubitemid 47293485)
15. L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang, J. Sun, Mining process models with prime invisible tasks, Data and Knowledge Engineering 69 (10) (2010) 999-1021.
16. W.M.P. van der Aalst, A. Adriansyah, B.F. van Dongen, Causal nets: a modeling language tailored towards process discovery, in: J. Katoen, B. Koenig (Eds.), 22nd International Conference on Concurrency Theory (CONCUR 2011), Lecture Notes in Computer Science, Springer, 2011, pp. 28-42.
17. A. Adriansyah, B.F. van Dongen, W.M.P. van der Aalst, Towards robust conformance checking, in: M. Muehlen, J. Su (Eds.), BPM 2010 Workshops, Proceedings of the Sixth Workshop on Business Process Intelligence (BPI2010), LNBIP, vol. 66, Springer, 2011, pp. 122-133.
18. A. Adriansyah, B. van Dongen, W.M.P. van der Aalst, Conformance checking using cost-based fitness analysis, in: IEEE International Enterprise Computing Conference (EDOC 2011), IEEE Computer Society, 2011.
19. U. Goltz, W. Reisig, Processes of place/transition-nets, in: ICALP'83, Lecture Notes in Computer Science, vol. 154, Springer, 1983, pp. 264-277.
20. J. Engelfriet, Branching processes of Petri nets, Acta Informatica 28 (6) (1991) 575-591. http://dx.doi.org/10.1007/BF01463946. (Pubitemid 21693790)
21. M. Nielsen, G.D. Plotkin, G. Winskel, Petri nets, event structures and domains, Part I, Theoretical Computer Science 13 (1981) 85-108.
22. J. Esparza, S. Römer, W. Vogler, An improvement of McMillan's unfolding algorithm, Formal Methods in System Design 20 (3) (2002) 285-310. (Pubitemid 34448852)
23. J. Esparza, K. Heljanko, Unfoldings: A Partial-Order Approach to Model Checking, Springerhttp://dx.doi.org/10.1007/978-3-540-77426-6.
24. J. Colom, M. Silva, Improving the linearly based characterization of p/T nets, in: Advances in Petri Nets 1990, Lecture Notes in Computer Science, vol. 483, Springer, 1991, pp. 113-145.
25. D. Fahland, From Scenarios to Components, Ph.D. Thesis, Hum-boldt-Universität zu Berlin and Technische Universiteit Eindhoven, 2010.
26. A. Rozinat, W.M.P. van der Aalst, Conformance checking of processes based on monitoring real behavior, Information Systems 33 (1) (2008) 64-95. (Pubitemid 350051578)
27. J. Muñoz-Gama, J. Carmona, A fresh look at precision in process conformance, in: BPM'10, Lecture Notes in Computer Science, vol. 6336, Springer, 2010, pp. 211-226.
28. R. Bergenthum, J. Desel, S. Mauser, Comparison of different algorithms to synthesize a Petri net from a partial language, in: Transactions on Petri Nets and Other Models of Concurrency III, Lecture Notes in Computer Science, vol. 5800, Springer, Berlin/Heidelberg, 2009, pp. 216-243. http://dx.doi.org/10.1007/ 978-3-642-04856-2-9.
29. D. Fahland, W.M.P. van der Aalst, Simplifying mined process models: an approach based on unfoldings, in: S. Rinderle, F. Toumani, K. Wolf (Eds.), Business Process Management (BPM 2011), Lecture Notes in Computer Science, vol. 6896, Springer, 2011, pp. 362-378.
30. J. Muñoz-Gama, J. Carmona, Enhancing precision in process conformance: stability, confidence and severity, in: N. Chawla, I. King, A. Sperduti (Eds.), IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), IEEE, Paris, France, 2011.
31. R.P.J.C. Bose, W.M.P. van der Aalst, Trace alignment in process mining: opportunities for process diagnostics, in: R. Hull, J. Mendling, S. Tai (Eds.), Business Process Management (BPM 2010), Lecture Notes in Computer Science, vol. 6336, Springer, 2010, pp. 227-242.
32. J. Vanhatalo, H. Vö lzer, J. Koehler, The refined process structure tree, Data Knowledge Engineering 68 (9) (2009) 793-818.
33. A. Polyvyanyy, J. Vanhatalo, H. Völzer, Simplified computation and generalization of the refined process structure tree, in: WS-FM'10, Lecture Notes in Computer Science, vol. 6551, 2010, pp. 25-41.
34. A. Polyvyanyy, L. García-Bañuelos, M. Dumas, Structuring acyclic process models, Information Systems 37 (6) (2012) 518-538.
35. E. Best, R.R. Devillers, A. Kiehn, L. Pomello, Concurrent bisimula-tions in Petri nets, Acta Informatica 28 (3) (1991) 231-264.
36. A. Lüder, H.-M. Hanisch, Synthesis of admissible behavior of Petri nets for partial order specifications, in: WODES'00, Kluwer, 2000, pp. 409-431.