메뉴 건너뛰기




Volumn 14, Issue 2, 2007, Pages 245-304

Genetic process mining: An experimental evaluation

Author keywords

Genetic algorithms; Genetic mining; Petri nets; Process mining; Workflow nets

Indexed keywords

GENETIC ALGORITHMS; INFORMATION RETRIEVAL; INFORMATION SYSTEMS; MATHEMATICAL MODELS; PETRI NETS;

EID: 33947207063     PISSN: 13845810     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10618-006-0061-7     Document Type: Article
Times cited : (407)

References (58)
  • 1
    • 26444513721 scopus 로고    scopus 로고
    • Genetic process mining
    • Proceedings of the 26th international conference on applications and theory of Petri nets, Springer, Miami
    • van der Aalst WMP, Alves de Medeiros AK, Weijters AJMM (2005) Genetic process mining. In: Proceedings of the 26th international conference on applications and theory of Petri nets. Lecture notes in computer science, vol 3536. Springer, Miami
    • (2005) Lecture notes in computer science , vol.3536
    • van der Aalst, W.M.P.1    Alves de Medeiros, A.K.2    Weijters, A.J.M.M.3
  • 2
    • 84931347503 scopus 로고    scopus 로고
    • Discovering workflow performance models from timed logs
    • Han Y, Tai S, Wikarski D (eds) International conference on engineering and deployment of cooperative information systems EDCIS, Springer, Berlin, pp
    • van der Aalst WMP, van Dongen BF (2002) Discovering workflow performance models from timed logs. In: Han Y, Tai S, Wikarski D (eds) International conference on engineering and deployment of cooperative information systems (EDCIS 2002). Lecture notes in computer science, vol 2480. Springer, Berlin, pp 45-63
    • (2002) Lecture notes in computer science , vol.2480 , pp. 45-63
    • van der Aalst, W.M.P.1    van Dongen, B.F.2
  • 4
    • 35048882847 scopus 로고    scopus 로고
    • Mining social networks: Uncovering interaction patterns in business processes
    • Desel J, Pernici B, Weske M (eds) International conference on business process management BPM, Springer, Berlin, pp
    • van der Aalst WMP, Song M (2004) Mining social networks: uncovering interaction patterns in business processes. In: Desel J, Pernici B, Weske M (eds) International conference on business process management (BPM 2004). Lecture notes in computer science, vol 3080. Springer, Berlin, pp 244-260
    • (2004) Lecture notes in computer science , vol.3080 , pp. 244-260
    • van der Aalst, W.M.P.1    Song, M.2
  • 5
    • 58049167050 scopus 로고    scopus 로고
    • Process mining
    • van der Aalst WMP, Weijters AJMM eds, Elsevier, Amsterdam
    • van der Aalst WMP, Weijters AJMM (eds) (2004) Process mining. Special issue of computers in industry, vol 53. Elsevier, Amsterdam
    • (2004) Special issue of computers in industry , vol.53
  • 7
    • 84890470685 scopus 로고    scopus 로고
    • Mining process models from workflow logs
    • Ramos I, Alonso G, Schek H-J, Saltor F (eds) Advances in database technology, EDBT98: 6th international conference on extending database technology, Springer-Verlag, London, UK, pp, ISBN: 3-540-64264-1
    • Agrawal R, Gunopulos D, Leymann F (1998) Mining process models from workflow logs. In: Ramos I, Alonso G, Schek H-J, Saltor F (eds) Advances in database technology - EDBT98: 6th international conference on extending database technology. Lecture notes in computer science, vol 1377. Springer-Verlag, London, UK, pp 469-483 (ISBN: 3-540-64264-1)
    • (1998) Lecture notes in computer science , vol.1377 , pp. 469-483
    • Agrawal, R.1    Gunopulos, D.2    Leymann, F.3
  • 9
    • 33744808032 scopus 로고    scopus 로고
    • Using genetic algorithms to mine process models: Representation, operators and results
    • WP 124, Eindhoven University of Technology, Eindhoven
    • Alves de Medeiros AK, Weijters AJMM, van der Aalst WMP (2004b) Using genetic algorithms to mine process models: representation, operators and results. BETA working paper series, WP 124, Eindhoven University of Technology, Eindhoven
    • (2004) BETA working paper series
    • Alves de Medeiros, A.K.1    Weijters, A.J.M.M.2    van der Aalst, W.M.P.3
  • 10
    • 33745132429 scopus 로고    scopus 로고
    • Alves de Medeiros AK, Weijters AJMM, van der Aalst WMP (2006) Genetic process mining: a basic approach and its challenges. In: Business process management 2005 workshops. Lecture notes in computer science, 3812. Springer, Berlin, pp 203-215
    • Alves de Medeiros AK, Weijters AJMM, van der Aalst WMP (2006) Genetic process mining: a basic approach and its challenges. In: Business process management 2005 workshops. Lecture notes in computer science, vol 3812. Springer, Berlin, pp 203-215
  • 11
    • 0242712942 scopus 로고    scopus 로고
    • Workflow mining: Current status and future directions
    • Meersman R, Tari Z, Schmidt DC (eds) On the move to meaningful internet systems 2003: CoopIS, DOA, and ODBASE, Springer, Berlin, pp
    • Alves de Medeiros AK, 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 2003: CoopIS, DOA, and ODBASE. Lecture notes in computer science, vol 2888. Springer, Berlin, pp 389-406
    • (2003) Lecture notes in computer science , vol.2888 , pp. 389-406
    • Alves de Medeiros, A.K.1    van der Aalst, W.M.P.2    Weijters, A.J.M.M.3
  • 12
    • 0020815483 scopus 로고
    • Inductive inference: Theory and methods
    • Angluin D, Smith CH (1983) Inductive inference: theory and methods. Comput Surv 15(3):237-269
    • (1983) Comput Surv , vol.15 , Issue.3 , pp. 237-269
    • Angluin, D.1    Smith, C.H.2
  • 14
    • 0348230609 scopus 로고    scopus 로고
    • Discovering models of behavior for concurrent workflows
    • Cook JE, Du Z, Liu C, Wolf AL (2004) Discovering models of behavior for concurrent workflows. Comput Ind 53(3):297-319
    • (2004) Comput Ind , vol.53 , Issue.3 , pp. 297-319
    • Cook, J.E.1    Du, Z.2    Liu, C.3    Wolf, A.L.4
  • 16
    • 0012168865 scopus 로고    scopus 로고
    • Software process validation: Quantitatively measuring the correspondence of a process to a model
    • Cook JE, Wolf AL (1999) Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans Softw Eng Methodol 8(2):147-176
    • (1999) ACM Trans Softw Eng Methodol , vol.8 , Issue.2 , pp. 147-176
    • Cook, J.E.1    Wolf, A.L.2
  • 17
    • 0032108294 scopus 로고    scopus 로고
    • Discovering models of software processes from event-based data
    • Cook JE, Wolf AL (1998a) Discovering models of software processes from event-based data. ACM Trans Softw Eng Methodol 7(3):215-249
    • (1998) ACM Trans Softw Eng Methodol , vol.7 , Issue.3 , pp. 215-249
    • Cook, J.E.1    Wolf, A.L.2
  • 20
    • 84931336184 scopus 로고    scopus 로고
    • A data warehouse for workflow logs
    • Han Y, Tai S, Wikarski D (eds) International conference on engineering and deployment of cooperative information systems EDCIS, Springer, Berlin, pp
    • Eder J, Olivotto GE, Gruber W (2002) A data warehouse for workflow logs. In: Han Y, Tai S, Wikarski D (eds) International conference on engineering and deployment of cooperative information systems (EDCIS 2002). Lecture notes in computer science, vol 2480. Springer, Berlin, pp 1-15
    • (2002) Lecture notes in computer science , vol.2480 , pp. 1-15
    • Eder, J.1    Olivotto, G.E.2    Gruber, W.3
  • 22
    • 0030143334 scopus 로고    scopus 로고
    • Branching time and abstraction in bisimulation semantics
    • van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3):555-600
    • (1996) J ACM , vol.43 , Issue.3 , pp. 555-600
    • van Glabbeek, R.J.1    Weijland, W.P.2
  • 23
    • 0001187706 scopus 로고
    • Complexity of automaton identification from given data
    • Gold EM (1978) Complexity of automaton identification from given data. Inform Control 37(3):302-320
    • (1978) Inform Control , vol.37 , Issue.3 , pp. 302-320
    • Gold, E.M.1
  • 24
    • 27144501581 scopus 로고    scopus 로고
    • Greco G, Guzzo A, Pontieri L (2005) Mining hierarchies of models: from abstract views to concrete specifications. In: van der Aalst WMP, Benatallah B, Casati F, Curbera F (eds) Business process management. Lectures notes in computer science, 3649. Springer-Verlag, Berlin, Nancy, France, 5-8 September, 2005, pp 32-47
    • Greco G, Guzzo A, Pontieri L (2005) Mining hierarchies of models: from abstract views to concrete specifications. In: van der Aalst WMP, Benatallah B, Casati F, Curbera F (eds) Business process management. Lectures notes in computer science, vol 3649. Springer-Verlag, Berlin, Nancy, France, 5-8 September, 2005, pp 32-47
  • 25
    • 7444250376 scopus 로고    scopus 로고
    • Mining expressive process models by clustering workflow traces
    • Dai H, Srikant R, Zhang C (eds) PAKDD, Springer, Berlin, pp
    • Greco G, Guzzo A, Pontieri L, Saccà D (2004) Mining expressive process models by clustering workflow traces. In: Dai H, Srikant R, Zhang C (eds) PAKDD. Lecture notes in computer science, vol 3056. Springer, Berlin, pp 52-62
    • (2004) Lecture notes in computer science , vol.3056 , pp. 52-62
    • Greco, G.1    Guzzo, A.2    Pontieri, L.3    Saccà, D.4
  • 26
    • 33746334454 scopus 로고    scopus 로고
    • Discovering expressive process models by clustering log traces
    • Greco G, Guzzo A, Pontieri L, Sacca D (2006) Discovering expressive process models by clustering log traces. IEEE Trans Knowl Data Eng 18(8):1010-1027
    • (2006) IEEE Trans Knowl Data Eng , vol.18 , Issue.8 , pp. 1010-1027
    • Greco, G.1    Guzzo, A.2    Pontieri, L.3    Sacca, D.4
  • 29
    • 0348244851 scopus 로고    scopus 로고
    • Dealing with concurrency in workflow induction
    • Baake U, Zobel R, Al-Akaidi M eds, Europe
    • Herbst J (2000) Dealing with concurrency in workflow induction. In: Baake U, Zobel R, Al-Akaidi M (eds) European concurrent engineering conference. SCS, Europe
    • (2000) European concurrent engineering conference. SCS
    • Herbst, J.1
  • 31
    • 0012749350 scopus 로고    scopus 로고
    • Integrating machine learning and workflow management to support acquisition and adaptation of workflow models
    • Herbst J, Karagiannis D (2000) Integrating machine learning and workflow management to support acquisition and adaptation of workflow models. Int J Intell Syst Account Finance Manag 9:67-92
    • (2000) Int J Intell Syst Account Finance Manag , vol.9 , pp. 67-92
    • Herbst, J.1    Karagiannis, D.2
  • 32
    • 0348230613 scopus 로고    scopus 로고
    • Workflow mining with InWoLvE
    • Herbst J, Karagiannis D (2004) Workflow mining with InWoLvE. Comput Ind 53(3):245-264
    • (2004) Comput Ind , vol.53 , Issue.3 , pp. 245-264
    • Herbst, J.1    Karagiannis, D.2
  • 34
    • 0036793631 scopus 로고    scopus 로고
    • Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm
    • Malpathak S, Saitou K, Qvam H (2002) Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm. J Int Manufact 13(5):339-351
    • (2002) J Int Manufact , vol.13 , Issue.5 , pp. 339-351
    • Malpathak, S.1    Saitou, K.2    Qvam, H.3
  • 36
    • 84949789713 scopus 로고    scopus 로고
    • Process mining: Discovering direct successors in process logs
    • Proceedings of the 5th international conference on discovery science discovery science, Springer, Berlin, pp
    • Maruster L, Weijters AJMM, van der Aalst WMP, van den Bosch A (2002) Process mining: discovering direct successors in process logs. In: Proceedings of the 5th international conference on discovery science (discovery science 2002). Lecture notes in artificial intelligence, vol 2534. Springer, Berlin, pp 364-373
    • (2002) Lecture notes in artificial intelligence , vol.2534 , pp. 364-373
    • Maruster, L.1    Weijters, A.J.M.M.2    van der Aalst, W.M.P.3    van den Bosch, A.4
  • 37
    • 26444538937 scopus 로고    scopus 로고
    • Mauch H (2003) Evolving Petri nets with a genetic algorithm. In: Cantú-Paz E, Foster JA, Deb K, Davis L, Roy R, O'Reilly U, Beyer H, Standish RK, Kendall G, Wilson SW, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland KA, Jonoska N, Miller JF (eds) Genetic and evolutionary computation - GECCO 2003, genetic and evolutionary computation conference, Chicago, IL, USA, 12-16 July 2003. Proceedings, Part II. Lecture notes in computer science, 2724. Springer, Berlin, pp 1810-1811
    • Mauch H (2003) Evolving Petri nets with a genetic algorithm. In: Cantú-Paz E, Foster JA, Deb K, Davis L, Roy R, O'Reilly U, Beyer H, Standish RK, Kendall G, Wilson SW, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland KA, Jonoska N, Miller JF (eds) Genetic and evolutionary computation - GECCO 2003, genetic and evolutionary computation conference, Chicago, IL, USA, 12-16 July 2003. Proceedings, Part II. Lecture notes in computer science, vol 2724. Springer, Berlin, pp 1810-1811
  • 39
    • 44049113210 scopus 로고
    • A calculus of mobile processes
    • Milner R, Parrow J, Walker D (1992) A calculus of mobile processes. Inform Comput 100(1):1-77
    • (1992) Inform Comput , vol.100 , Issue.1 , pp. 1-77
    • Milner, R.1    Parrow, J.2    Walker, D.3
  • 40
    • 26444441442 scopus 로고    scopus 로고
    • An improved grammatical evolution strategy for hierarchical Petri net modeling of complex genetic systems
    • Raidl GR et al (eds) Applications of evolutionary computing, Evo Workshops 2004, Springer, Berlin, pp
    • Moore JH, Hahn LW (2004) An improved grammatical evolution strategy for hierarchical Petri net modeling of complex genetic systems. In: Raidl GR et al (eds) Applications of evolutionary computing, Evo Workshops 2004. Lecture notes in computer science, vol 3005. Springer, Berlin, pp 63-72
    • (2004) Lecture notes in computer science , vol.3005 , pp. 63-72
    • Moore, J.H.1    Hahn, L.W.2
  • 41
    • 35248814326 scopus 로고    scopus 로고
    • Moore JH, Hahn LW (2003a) Grammatical evolution for the discovery of Petri net models of complex genetic systems. In: Cantú-Paz E, Foster JA, Deb K, Davis L, Roy R, O'Reilly U, Beyer H, Standish RK, Kendall G, Wilson SW, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland KA, Jonoska N, Miller JF (eds) Genetic and evolutionary computation-GE-CCO 2003, genetic and evolutionary computation conference, Chicago, IL, USA, 12-16 July 2003. Proceedings, Part II. Lecture notes in computer science, 2724. Springer, Berlin, pp 2412-2413.
    • Moore JH, Hahn LW (2003a) Grammatical evolution for the discovery of Petri net models of complex genetic systems. In: Cantú-Paz E, Foster JA, Deb K, Davis L, Roy R, O'Reilly U, Beyer H, Standish RK, Kendall G, Wilson SW, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland KA, Jonoska N, Miller JF (eds) Genetic and evolutionary computation-GE-CCO 2003, genetic and evolutionary computation conference, Chicago, IL, USA, 12-16 July 2003. Proceedings, Part II. Lecture notes in computer science, vol 2724. Springer, Berlin, pp 2412-2413.
  • 42
    • 0344827260 scopus 로고    scopus 로고
    • Petri net modeling of high-order genetic systems using grammatical evolution
    • Moore JH, Hahn LW (2003b) Petri net modeling of high-order genetic systems using grammatical evolution. BioSystems 72(2):177-186.
    • (2003) BioSystems , vol.72 , Issue.2 , pp. 177-186
    • Moore, J.H.1    Hahn, L.W.2
  • 43
    • 0141637025 scopus 로고    scopus 로고
    • Process-driven management information systems combining data warehouses and workflow technology
    • Gavish B ed, IEEE Computer Society Press, Los Alamitos, CA, pp
    • zur Mühlen M (2001) Process-driven management information systems combining data warehouses and workflow technology. In: Gavish B (ed) Proceedings of the international conference on electronic commerce research (ICECR-4). IEEE Computer Society Press, Los Alamitos, CA, pp 550-566
    • (2001) Proceedings of the international conference on electronic commerce research (ICECR-4) , pp. 550-566
    • zur Mühlen, M.1
  • 44
    • 0033889106 scopus 로고    scopus 로고
    • Workflow-based process monitoring and controlling-technical and organizational issues
    • Sprague R ed, IEEE Computer Society Press, Los Alamitos, CA, pp
    • zur Mühlen M, Rosemann M (2000) Workflow-based process monitoring and controlling-technical and organizational issues. In: Sprague R (ed) Proceedings of the 33rd Hawaii international conference on system science (HICSS-33). IEEE Computer Society Press, Los Alamitos, CA, pp 1-10
    • (2000) Proceedings of the 33rd Hawaii international conference on system science (HICSS-33) , pp. 1-10
    • zur Mühlen, M.1    Rosemann, M.2
  • 45
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541-580
    • (1989) Proc IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 46
    • 32444451211 scopus 로고    scopus 로고
    • Nummela J, Julstrom BA (2005) Evolving Petri nets to represent metabolic pathways. In: Beyer H, O'Reilly U (eds) GECCO. ACM, New York, pp 2133-2139
    • Nummela J, Julstrom BA (2005) Evolving Petri nets to represent metabolic pathways. In: Beyer H, O'Reilly U (eds) GECCO. ACM, New York, pp 2133-2139
  • 47
    • 0346969643 scopus 로고    scopus 로고
    • Discovering workflow models from activities lifespans
    • Pinter SS, Golani M (2004) Discovering workflow models from activities lifespans. Comput Ind 53(3):283-296
    • (2004) Comput Ind , vol.53 , Issue.3 , pp. 283-296
    • Pinter, S.S.1    Golani, M.2
  • 48
    • 85037549689 scopus 로고
    • Inductive inference, DFAs, and computational complexity
    • Jantke KP (ed) Proceedings of international workshop on analogical and inductive inference AII, Springer, Berlin, pp
    • Pitt L (1889) Inductive inference, DFAs, and computational complexity. In: Jantke KP (ed) Proceedings of international workshop on analogical and inductive inference (AII). Lecture notes in computer science, vol 397. Springer, Berlin, pp 18-44
    • (1889) Lecture notes in computer science , vol.397 , pp. 18-44
    • Pitt, L.1
  • 49
    • 0034813379 scopus 로고    scopus 로고
    • Application of Petri nets and a genetic algorithm to multi-mode multi-resource constrained project scheduling
    • Reddy JP, Kumanan S, Chetty OVK (2001) Application of Petri nets and a genetic algorithm to multi-mode multi-resource constrained project scheduling. Int J Adv Manufact Technol 17(4):305-314
    • (2001) Int J Adv Manufact Technol , vol.17 , Issue.4 , pp. 305-314
    • Reddy, J.P.1    Kumanan, S.2    Chetty, O.V.K.3
  • 50
    • 0003246690 scopus 로고    scopus 로고
    • Lectures on Petri nets I: Basic models
    • Reisig W, Rozenberg G ed, Springer, Berlin
    • Reisig W, Rozenberg G (ed) (1998) Lectures on Petri nets I: basic models. Lecture notes in computer science, vol 1491. Springer, Berlin
    • (1998) Lecture notes in computer science , vol.1491
  • 51
    • 33745116233 scopus 로고    scopus 로고
    • Rozinat A, van der Aalst WMP (2005) Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler C, Haller A (eds) Business process management workshops. Lectures notes in computer science, 3812. Springer-Verlag, Berlin, pp 163-176
    • Rozinat A, van der Aalst WMP (2005) Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler C, Haller A (eds) Business process management workshops. Lectures notes in computer science, vol 3812. Springer-Verlag, Berlin, pp 163-176
  • 53
    • 77952076017 scopus 로고    scopus 로고
    • Process miner - a tool for mining process schemes from event-based data
    • Flesca S, Ianni G (eds) Proceedings of the 8th European conference on artificial intelligence JELIA, Springer, Berlin, pp
    • Schimm G (2002) Process miner - a tool for mining process schemes from event-based data. In: Flesca S, Ianni G (eds) Proceedings of the 8th European conference on artificial intelligence (JELIA). Lecture notes in computer science, vol 2424. Springer, Berlin, pp 525-528
    • (2002) Lecture notes in computer science , vol.2424 , pp. 525-528
    • Schimm, G.1
  • 54
    • 0346969639 scopus 로고    scopus 로고
    • Mining exact models of concurrent workflows
    • Schimm G (2004) Mining exact models of concurrent workflows. Comput Ind 53(3):265-281
    • (2004) Comput Ind , vol.53 , Issue.3 , pp. 265-281
    • Schimm, G.1
  • 57
    • 0038002768 scopus 로고    scopus 로고
    • Rediscovering workflow models from event-based data using little thumb
    • Weijters AJMM, van der Aalst WMP (2003) Rediscovering workflow models from event-based data using little thumb. Integr Comput Aided Eng 10(2):151-162
    • (2003) Integr Comput Aided Eng , vol.10 , Issue.2 , pp. 151-162
    • Weijters, A.J.M.M.1    van der Aalst, W.M.P.2
  • 58
    • 33745656419 scopus 로고    scopus 로고
    • Wen L, Wang J, Sun J (2006) Detecting implicit dependencies between tasks from event logs. In: Zhou X, Li J, Shen HT, Kitsuregawa M, Zhang Y (eds) APWeb. Lecture notes in computer science, 3841. Springer, Berlin, pp 591-603
    • Wen L, Wang J, Sun J (2006) Detecting implicit dependencies between tasks from event logs. In: Zhou X, Li J, Shen HT, Kitsuregawa M, Zhang Y (eds) APWeb. Lecture notes in computer science, vol 3841. Springer, Berlin, pp 591-603


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.