Skip to main content

2016 | OriginalPaper | Buchkapitel

Mining Conditional Partial Order Graphs from Event Logs

verfasst von : Andrey Mokhov, Josep Carmona, Jonathan Beaumont

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency XI

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checked against an event log, and the enhancement of a process model is performed by using available data in the log. Several notations and formalisms for event log representation have been proposed in the recent years to enable efficient algorithms for the aforementioned process mining problems. In this paper we show how Conditional Partial Order Graphs (CPOGs), a recently introduced formalism for compact representation of families of partial orders, can be used in the process mining field, in particular for addressing the problem of compact and easy-to-comprehend representation of event logs with data. We present algorithms for extracting both the control flow as well as the relevant data parameters from a given event log and show how CPOGs can be used for efficient and effective visualisation of the obtained results. We demonstrate that the resulting representation can be used to reveal the hidden interplay between the control and data flows of a process, thereby opening way for new process mining techniques capable of exploiting this interplay. Finally, we present open-source software support and discuss current limitations of the proposed approach.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
This paper is an extended version of [6].
 
2
We assume a total order on the set of event attributes.
 
Literatur
1.
Zurück zum Zitat van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)CrossRefMATH van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)CrossRefMATH
3.
Zurück zum Zitat Song, M., van der Aalst, W.M.P.: Supporting process mining by showing events at a glance. In: Proceedings of Annual Workshop on Information Technologies and Systems (WITS), pp. 139–145 (2007) Song, M., van der Aalst, W.M.P.: Supporting process mining by showing events at a glance. In: Proceedings of Annual Workshop on Information Technologies and Systems (WITS), pp. 139–145 (2007)
4.
Zurück zum Zitat Mokhov, A.: Conditional partial order graphs. Ph.D. thesis, Newcastle University (2009) Mokhov, A.: Conditional partial order graphs. Ph.D. thesis, Newcastle University (2009)
5.
Zurück zum Zitat Mokhov, A., Khomenko, V.: Algebra of parameterised graphs. ACM Trans. Embed. Comput. Syst. (TECS) 13(4s), 143 (2014) Mokhov, A., Khomenko, V.: Algebra of parameterised graphs. ACM Trans. Embed. Comput. Syst. (TECS) 13(4s), 143 (2014)
6.
Zurück zum Zitat Mokhov, A., Carmona, J.: Event log visualisation with conditional partial order graphs: from control flow to data. In: Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED, Brussels, Belgium, 22–23 June, pp. 16–30 (2015) Mokhov, A., Carmona, J.: Event log visualisation with conditional partial order graphs: from control flow to data. In: Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED, Brussels, Belgium, 22–23 June, pp. 16–30 (2015)
9.
Zurück zum Zitat van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE TKDE 16(9), 1128–1142 (2004) van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE TKDE 16(9), 1128–1142 (2004)
10.
Zurück zum Zitat Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC, Brisbane, Australia, 10–15 June, pp. 1–8 (2012) Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC, Brisbane, Australia, 10–15 June, pp. 1–8 (2012)
11.
Zurück zum Zitat Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer, Heidelberg (2013)CrossRef Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer, Heidelberg (2013)CrossRef
12.
Zurück zum Zitat Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371–384 (2010)MathSciNetCrossRef Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371–384 (2010)MathSciNetCrossRef
13.
Zurück zum Zitat Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri nets from finite partial languages. Fundam. Inf. 88(4), 437–468 (2008)MathSciNetMATH Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri nets from finite partial languages. Fundam. Inf. 88(4), 437–468 (2008)MathSciNetMATH
14.
Zurück zum Zitat Mokhov, A., Sokolov, D., Yakovlev, A.: Adapting asynchronous circuits to operating conditions by logic parametrisation. In: IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pp. 17–24. IEEE (2012) Mokhov, A., Sokolov, D., Yakovlev, A.: Adapting asynchronous circuits to operating conditions by logic parametrisation. In: IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pp. 17–24. IEEE (2012)
15.
Zurück zum Zitat Mokhov, A., Rykunov, M., Sokolov, D., Yakovlev, A.: Design of processors with reconfigurable microarchitecture. J. Low Power Electron. Appl. 4(1), 26–43 (2014)CrossRef Mokhov, A., Rykunov, M., Sokolov, D., Yakovlev, A.: Design of processors with reconfigurable microarchitecture. J. Low Power Electron. Appl. 4(1), 26–43 (2014)CrossRef
16.
Zurück zum Zitat de Micheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994) de Micheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994)
17.
Zurück zum Zitat Wegener, I.: The complexity of Boolean functions. Johann Wolfgang Goethe-Universitat (1987) Wegener, I.: The complexity of Boolean functions. Johann Wolfgang Goethe-Universitat (1987)
18.
Zurück zum Zitat Ponce-de-León, H., Mokhov, A.: Building bridges between sets of partial orders. In: Dediu, A.-H., Formenti, E., Martín-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 145–160. Springer, Heidelberg (2015) Ponce-de-León, H., Mokhov, A.: Building bridges between sets of partial orders. In: Dediu, A.-H., Formenti, E., Martín-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 145–160. Springer, Heidelberg (2015)
19.
Zurück zum Zitat Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85–108 (1981)MathSciNetCrossRefMATH Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85–108 (1981)MathSciNetCrossRefMATH
20.
Zurück zum Zitat McMillan, K.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Proceedings of Computer Aided Verification Conference (CAV), vol. 663, p. 164 (1992) McMillan, K.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Proceedings of Computer Aided Verification Conference (CAV), vol. 663, p. 164 (1992)
21.
Zurück zum Zitat Mokhov, A., Alekseyev, A., Yakovlev, A.: Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digital Tech. 5(6), 427–439 (2011)CrossRef Mokhov, A., Alekseyev, A., Yakovlev, A.: Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digital Tech. 5(6), 427–439 (2011)CrossRef
22.
Zurück zum Zitat de Gennaro, A., Stankaitis, P., Mokhov, A.: A heuristic algorithm for deriving compact models of processor instruction sets. In: International Conference on Application of Concurrency to System Design (ACSD) (2015) de Gennaro, A., Stankaitis, P., Mokhov, A.: A heuristic algorithm for deriving compact models of processor instruction sets. In: International Conference on Application of Concurrency to System Design (ACSD) (2015)
23.
Zurück zum Zitat Villa, T., Kam, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Synthesis of Finite State Machines: Logic Optimization. Springer, New York (2012)MATH Villa, T., Kam, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Synthesis of Finite State Machines: Logic Optimization. Springer, New York (2012)MATH
24.
Zurück zum Zitat Solé, M., Carmona, J.: Light region-based techniques for process discovery. Fundam. Inf. 113(3–4), 343–376 (2011)MathSciNetMATH Solé, M., Carmona, J.: Light region-based techniques for process discovery. Fundam. Inf. 113(3–4), 343–376 (2011)MathSciNetMATH
25.
Zurück zum Zitat van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: ATPN, pp. 368–387 (2008) van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: ATPN, pp. 368–387 (2008)
26.
Zurück zum Zitat Günther, C.W., van der Aalst, W.M.P.: Fuzzy mining – adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Heidelberg (2007)CrossRef Günther, C.W., van der Aalst, W.M.P.: Fuzzy mining – adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Heidelberg (2007)CrossRef
27.
Zurück zum Zitat Weijters, A.J.M.M., van der Aalst, W.M.P., Alves de Medeiros, A.K.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006) Weijters, A.J.M.M., van der Aalst, W.M.P., Alves de Medeiros, A.K.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)
28.
29.
Zurück zum Zitat Mitchell, T.M.: Machine Learning. McGraw Hill Series in Computer Science. McGraw-Hill, New York (1997)MATH Mitchell, T.M.: Machine Learning. McGraw Hill Series in Computer Science. McGraw-Hill, New York (1997)MATH
30.
Zurück zum Zitat Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81–106 (1986) Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81–106 (1986)
31.
Zurück zum Zitat Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273–297 (1995)MATH Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273–297 (1995)MATH
32.
Zurück zum Zitat Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. ACM SIGKDD Explor. Newsl. 11(1), 10–18 (2009)CrossRef Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. ACM SIGKDD Explor. Newsl. 11(1), 10–18 (2009)CrossRef
33.
Zurück zum Zitat Poliakov, I., Sokolov, D., Mokhov, A.: Workcraft: a static data flow structure editing, visualisation and analysis tool. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 505–514. Springer, Heidelberg (2007)CrossRef Poliakov, I., Sokolov, D., Mokhov, A.: Workcraft: a static data flow structure editing, visualisation and analysis tool. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 505–514. Springer, Heidelberg (2007)CrossRef
38.
Zurück zum Zitat Dumas, M., García-Bañuelos, L.: Process mining reloaded: event structures as a unified representation of process models and event logs. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 33–48. Springer, Heidelberg (2015)CrossRef Dumas, M., García-Bañuelos, L.: Process mining reloaded: event structures as a unified representation of process models and event logs. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 33–48. Springer, Heidelberg (2015)CrossRef
39.
Zurück zum Zitat Jagadeesh Chandra Bose, R.P., van der Aalst, W.M.P.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117–141 (2012)CrossRef Jagadeesh Chandra Bose, R.P., van der Aalst, W.M.P.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117–141 (2012)CrossRef
40.
Zurück zum Zitat Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Fournier, F., Mendling, J. (eds.) BPM 2014 Workshops. LNBIP, vol. 202, pp. 75–88. Springer, Heidelberg (2015) Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Fournier, F., Mendling, J. (eds.) BPM 2014 Workshops. LNBIP, vol. 202, pp. 75–88. Springer, Heidelberg (2015)
41.
Zurück zum Zitat Lu, X., Mans, R., Fahland, D., van der Aalst, W.M.P.: Conformance checking in healthcare based on partially ordered event data. In: Proceedings of the IEEE Emerging Technology and Factory Automation, ETFA, Barcelona, Spain, 16–19 September, pp. 1–8 (2014) Lu, X., Mans, R., Fahland, D., van der Aalst, W.M.P.: Conformance checking in healthcare based on partially ordered event data. In: Proceedings of the IEEE Emerging Technology and Factory Automation, ETFA, Barcelona, Spain, 16–19 September, pp. 1–8 (2014)
42.
Zurück zum Zitat Leemans, M., van der Aalst, W.M.P.: Discovery of frequent episodes in event logs. In: Ceravolo, P., Russo, B., Accorsi, R. (eds.) SIMPDA 2014. LNBIP, vol. 237, pp. 1–31. Springer, Heidelberg (2014) Leemans, M., van der Aalst, W.M.P.: Discovery of frequent episodes in event logs. In: Ceravolo, P., Russo, B., Accorsi, R. (eds.) SIMPDA 2014. LNBIP, vol. 237, pp. 1–31. Springer, Heidelberg (2014)
Metadaten
Titel
Mining Conditional Partial Order Graphs from Event Logs
verfasst von
Andrey Mokhov
Josep Carmona
Jonathan Beaumont
Copyright-Jahr
2016
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-53401-4_6

Premium Partner