{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:54:22Z","timestamp":1781016862635,"version":"3.54.1"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T00:00:00Z","timestamp":1172793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data Min Knowl Disc"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s10618-007-0065-y","type":"journal-article","created":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T01:59:04Z","timestamp":1172800744000},"page":"145-180","source":"Crossref","is-referenced-by-count":241,"title":["Mining process models with non-free-choice constructs"],"prefix":"10.1007","volume":"15","author":[{"given":"Lijie","family":"Wen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianmin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,3,2]]},"reference":[{"issue":"1","key":"65_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of petri nets to workflow management. J Circuits Syst Comp 8(1):21\u201366","journal-title":"J Circuits Syst Comp"},{"key":"65_CR2","unstructured":"van der Aalst WMP (2004a) Business alignment: using process mining as a tool for delta analysis. In: Grundspenkis J, Kirikova M (eds) Proceedings of the 5th workshop on business process modeling, development and support (BPMDS\u201904), volume 2 of Caise\u201904 workshops. Riga Technical University, Latvia, pp 138\u2013145"},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2004b) Business Process management demystified: a tutorial on models, systems and standards for workflow management. In Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and Petri nets, vol 3098 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, pp 1\u201365","DOI":"10.1007\/978-3-540-27755-2_1"},{"key":"65_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow management: models, methods, and systems","author":"WMP Aalst van der","year":"2002","unstructured":"van der Aalst WMP, van Hee KM (2002) Workflow management: models, methods, and systems. MIT press, Cambridge, MA"},{"issue":"4","key":"65_CR5","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP and ter Hofstede AHM (2005) YAWL: yet another workflow language. Inform Syst 30(4):245\u2013275","journal-title":"Inform Syst"},{"key":"65_CR6","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, de Medeiros AKA (2004) Process mining and security: detecting anomalous process executions and checking process conformance. In: Busi N, Gorrieri R, Martinelli F (eds) Second international workshop on security issues with petri nets and other computational models (WISP 2004). STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, pp 69\u201384","DOI":"10.1016\/j.entcs.2004.10.013"},{"key":"65_CR7","doi-asserted-by":"crossref","unstructured":"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), vol 3080 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 244\u2013260","DOI":"10.1007\/978-3-540-25970-1_16"},{"key":"65_CR8","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Weijters AJMM (2004) (eds) Process mining, special issue of computers in industry, vol 53, number 3. Elsevier Science Publishers, Amsterdam","DOI":"10.1016\/j.compind.2003.10.001"},{"issue":"2","key":"65_CR9","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"WMP Aalst van der","year":"2003","unstructured":"van der Aalst WMP, van Dongen BF, Herbst J, Maruster L, Schimm G, Weijters AJMM (2003) Workflow mining: a survey of issues and approaches. Data Knowl Eng 47(2):237\u2013267","journal-title":"Data Knowl Eng"},{"issue":"9","key":"65_CR10","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst WMP, Weijters AJMM, Maruster L (2004) Workflow mining: discovering process models from event logs. IEEE Trans Knowl Data Eng 16(9):1128\u20131142","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"65_CR11","unstructured":"van der Aalst WMP, Dumas M, Ouyang C, Rozinat A, Verbeek HMW (2005a) Choreography conformance checking: an approach based on BPEL and Petri nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org."},{"key":"65_CR12","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Alves de Medeiros AK, Weijters AJMM (2005b) Genetic process mining. In: Ciardo G, Darondeau P (eds) Applications and theory of Petri nets 2005, vol 3536 of Lecture notes in computer science. Springer-Verlag, Berlin","DOI":"10.1007\/11494744_5"},{"issue":"2","key":"65_CR13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP, Weske M, Gr\u00fcnbauer D (2005c) Case handling: a new paradigm for business process support. Data Knowl Eng 53(2):129\u2013162","journal-title":"Data Knowl Eng"},{"key":"65_CR14","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Alves de Medeiros AK, Weijters AJMM (2006) Process equivalence: comparing two process models based on observed behavior. In: Dustdar S, Faideiro JL, Sheth A (eds) International conference on business process management (BPM 2006), vol 4102 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 129\u2013144","DOI":"10.1007\/11841760_10"},{"key":"65_CR15","doi-asserted-by":"crossref","unstructured":"Agrawal R, Gunopulos D, Leymann F (1998) Mining process models from workflow logs. In: Sixth international conference on extending database technology, pp 469\u2013483","DOI":"10.1007\/BFb0101003"},{"key":"65_CR16","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation"},{"key":"65_CR17","doi-asserted-by":"crossref","unstructured":"Biermann AW, Feldman JA (1972b) A survey of results in grammatical inference. In: Watanabe S (eds) Frontiers of pattern recognition. Academic Press, pp 31\u201354","DOI":"10.1016\/B978-0-12-737140-5.50007-5"},{"key":"65_CR18","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"21","author":"AW Biermann","year":"1972","unstructured":"Biermann AW, Feldman JA (1972a) On the synthesis of finite-state machines from samples of their behavior. IEEE Trans Comput 21:592\u2013597","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"65_CR19","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.jss.2004.04.029","volume":"77","author":"JE Cook","year":"2005","unstructured":"Cook JE, Du Z (2005) Discovering thread interactions in a concurrent system. J Syst Software 77(3):285\u2013297","journal-title":"J Syst Software"},{"issue":"3","key":"65_CR20","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook JE, Wolf AL (1998) Discovering models of software processes from event-based data. ACM Trans Software Eng Method 7(3):215\u2013249","journal-title":"ACM Trans Software Eng Method"},{"issue":"3","key":"65_CR21","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.compind.2003.10.005","volume":"53","author":"JE Cook","year":"2004","unstructured":"Cook JE, Du Z, Liu C, Wolf AL (2004) Discovering models of behavior for concurrent workflows. Comput Indus 53(3):297\u2013319","journal-title":"Comput Indus"},{"key":"65_CR22","unstructured":"CPN Group, University of Aarhus, Denmark. CPN Tools Home Page. http:\/\/wiki.daimi.au.dk\/cpntools\/."},{"issue":"3","key":"65_CR23","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1287\/isre.9.3.275","volume":"9","author":"A Datta","year":"1998","unstructured":"Datta A (1998) Automating the discovery of as-is business process models: probabilistic and algorithmic approaches. Inform Sys Res 9(3):275\u2013301","journal-title":"Inform Sys Res"},{"key":"65_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice petri nets, vol 40 of Cambridge tracts in theoretical computer science","author":"J Desel","year":"1995","unstructured":"Desel J, Esparza J (1995) Free choice petri nets, vol 40 of Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge, UK"},{"key":"65_CR25","doi-asserted-by":"crossref","unstructured":"Desel J, Reisig W, Rozenberg G (eds) (2004) Lectures on concurrency and petri nets, vol 3098 of Lecture notes in computer science. Springer-Verlag, Berlin","DOI":"10.1007\/b98282"},{"key":"65_CR26","unstructured":"van Dongen BF, van der Aalst WMP (2005) A meta model for process mining data. In: Casto J, Teniente E (eds) Proceedings of the CAiSE\u201905 workshops (EMOI-INTEROP Workshop), vol 2. FEUP, Porto, Portugal, pp 309\u2013320"},{"key":"65_CR27","doi-asserted-by":"crossref","unstructured":"van Dongen B, Alves de Medeiros AK, Verbeek HMW, Weijters AJMM, van der Aalst WMP (2005) The ProM framework: a new era in process mining tool support. In: Ciardo G, Darondeau P (eds) Application and theory of Petri nets 2005, vol 3536 of Lecture notes in computer science, Springer-Verlag, Berlin, pp 444\u2013454","DOI":"10.1007\/11494744_25"},{"key":"65_CR28","doi-asserted-by":"crossref","unstructured":"Dumas M, van der Aalst WMP, ter Hofstede AHM (2005) Process-aware information systems: bridging people and software through process technology. Wiley & Sons","DOI":"10.1002\/0471741442"},{"issue":"4","key":"65_CR29","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht A, Rozenberg G (1989) Partial (set) 2-structures \u2013 part 1 and part 2. Acta Inform 27(4):315\u2013368","journal-title":"Acta Inform"},{"key":"65_CR30","doi-asserted-by":"crossref","unstructured":"Greco G, Guzzo A, Pontieri L, Sacc\u00e1 D (2004) Mining expressive process models by clustering workflow traces. In: Proc of advances in kowledge discovery and data mining, 8th Pacific-Asia conference (PAKDD 2004), Sydney, Australia. Springer-Verlag, Berlin, pp 52\u201362","DOI":"10.1007\/978-3-540-24775-3_8"},{"key":"65_CR31","unstructured":"Grigori D, Casati F, Dayal U, Shan MC (2001) Improving business process quality through exception understanding, prediction, and prevention. In: Apers P, Atzeni P, Ceri S, Paraboschi S, Ramamohanarao K, Snodgrass R (eds) Proceedings of 27th international conference on very large data bases (VLDB\u201901), Roma, Italy. Morgan Kaufmann, pp 159\u2013168"},{"issue":"3","key":"65_CR32","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.compind.2003.10.007","volume":"53","author":"D Grigori","year":"2004","unstructured":"Grigori D, Casati F, Castellanos M, Dayal U, Sayal M, Shan MC (2004) Business process intelligence. Comput Indus 53(3):321\u2013343","journal-title":"Comput Indus"},{"key":"65_CR33","doi-asserted-by":"crossref","unstructured":"Harel D, Kugler H, Pnueli A (2005) Synthesis revisited: generating statechart models from scenario-based requirements. In: Formal methods in software and systems modeling, vol 3393 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 309\u2013324","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"65_CR34","doi-asserted-by":"crossref","unstructured":"Herbst J (2000) A machine learning approach to workflow management. In: Proceedings 11th european conference on machine learning, vol 1810 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 183\u2013194","DOI":"10.1007\/3-540-45164-1_19"},{"key":"65_CR35","unstructured":"IDS Scheer (2002) ARIS process performance manager (ARIS PPM): measure, analyze and optimize your business process performance (whitepaper). IDS Scheer, Saarbruecken, Gemany, http:\/\/www.ids-scheer.com"},{"key":"65_CR36","unstructured":"Jablonski S, Bussler C (1996) Workflow management: modeling concepts, architecture, and implementation. International Thomson Computer Press, London, UK"},{"key":"65_CR37","unstructured":"Keller G, N\u00fcttgens M, Scheer AW (1992) Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr\u00fccken"},{"key":"65_CR38","unstructured":"Leymann F, Roller D (1999) Production workflow: concepts and techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA"},{"key":"65_CR39","doi-asserted-by":"crossref","unstructured":"Liang H, Dingel J, Diskin Z (2006) A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools (SCESM06). ACM Press, New York, USA, pp 5\u201312","DOI":"10.1145\/1138953.1138956"},{"key":"65_CR40","unstructured":"Alves de Medeiros AK, Guenther CW (2005) Process mining: using cpn tools to create test logs for mining algorithms. In: Jensen K (ed) Proceedings of the sixth workshop on the practical use of coloured Petri nets and CPN tools (CPN 2005), vol 576 of DAIMI, Aarhus, Denmark, October 2005. University of Aarhus, pp 177\u2013190"},{"key":"65_CR41","doi-asserted-by":"crossref","unstructured":"de 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 2003: CoopIS, DOA, and ODBASE, vol 2888 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 389\u2013406","DOI":"10.1007\/978-3-540-39964-3_25"},{"key":"65_CR42","doi-asserted-by":"crossref","unstructured":"de Medeiros AKA, van Dongen BF, van der Aalst WMP, Weijters AJMM (2004) Process mining for ubiquitous mobile systems: an overview and a concrete algorithm. In: Baresi L, Dustdar S, Gall H, Matera M (eds) Ubiquitous mobile information and collaboration systems (UMICS 2004), vol 3272 of Lecture notes in computer science, Springer-Verlag, Berlin, pp 154\u2013168","DOI":"10.1007\/978-3-540-30188-2_12"},{"key":"65_CR43","doi-asserted-by":"crossref","unstructured":"zur M\u00fchlen 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, California, pp 1\u201310","DOI":"10.1109\/HICSS.2000.926853"},{"key":"65_CR44","unstructured":"Pallas Athena (2004) Protos user manual. Pallas Athena BV, Plasmolen, The Netherlands"},{"key":"65_CR45","doi-asserted-by":"crossref","unstructured":"Parekh R, Honavar V (1996) An incremental interactive algorithm for regular grammar inference. In: International colloquium on grammatical inference: learning syntax from sentences (ICGI 1996), ol 1147 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 238\u2013249","DOI":"10.1007\/BFb0033358"},{"issue":"1-2","key":"65_CR46","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1010822518073","volume":"44","author":"R Parekh","year":"2001","unstructured":"Parekh R, Honavar VG (2001) Learning DFA from simple examples. Machine Learning 44(1-2): 9\u201335","journal-title":"Machine Learning"},{"key":"65_CR47","doi-asserted-by":"crossref","unstructured":"Rozinat A, van der Aalst WMP (2005) Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Castellanos M, Weijters T (eds) First international on business process intelligence (BPI\u201905), Nancy, France, September 2005. Springer-Verlag, Berlin, pp 1\u201312","DOI":"10.1007\/11678564_15"},{"key":"65_CR48","doi-asserted-by":"crossref","unstructured":"Rozinat A, van der Aalst WMP (2006) Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler C et\u00a0al (eds) BPM 2005 workshops, vol 3812 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 163\u2013176","DOI":"10.1007\/11678564_15"},{"key":"65_CR49","unstructured":"Sarbanes P, Oxley G et\u00a0al. Sarbanes-Oxley Act of 2002"},{"key":"65_CR50","doi-asserted-by":"crossref","unstructured":"Sayal M, Casati F, Dayal U, Shan MC (2002) Business process cockpit. In: Proceedings of 28th international conference on very large data bases (VLDB\u201902), Hong Kong, China. Morgan Kaufmann, pp 880\u2013883","DOI":"10.1016\/B978-155860869-6\/50086-X"},{"key":"65_CR51","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57108-4","volume-title":"ARIS: business process modelling","author":"AW Scheer","year":"2000","unstructured":"Scheer AW (2000) ARIS: business process modelling. Springer-Verlag, Berlin"},{"key":"65_CR52","unstructured":"Scott J (1992) Social network analysis. Sage, Newbury Park CA"},{"key":"65_CR53","unstructured":"TIBCO (2005) TIBCO staffware process monitor (SPM). http:\/\/www.tibco.com"},{"key":"65_CR54","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511815478","volume-title":"Social network analysis: methods and applications","author":"S Wasserman","year":"1994","unstructured":"Wasserman S, Faust K (1994) Social network analysis: methods and applications. Cambridge University Press, Cambridge"},{"key":"65_CR55","unstructured":"Weijters AJMM, van der Aalst WMP (2002) Workflow mining: discovering workflow models from event-based data. In: Dousson C, H\u00f6ppner F, Quiniou R (eds) Proceedings of the ECAI workshop on knowledge discovery and spatial data, Lyon, France. IOS Press, pp 78\u201384"},{"issue":"2","key":"65_CR56","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/ICA-2003-10205","volume":"10","author":"AJMM Weijters","year":"2003","unstructured":"Weijters AJMM, van der Aalst WMP (2003) Rediscovering workflow models from event-based data using little thumb. Integr comput-Aided Eng 10(2):151\u2013162","journal-title":"Integr comput-Aided Eng"},{"key":"65_CR57","unstructured":"Wen L, Wang J, van der Aalst WMP, Wang Z, Sun J (2004) A novel approach for process mining based on event types. BETA Working Paper Series, WP 118, Eindhoven University of Technology, Eindhoven"},{"key":"65_CR58","doi-asserted-by":"crossref","unstructured":"Wen L, Wang J, Sun J (2006) Detecting implicit dependencies between tasks from event logs. In: Zhou X, Lin X, Lu H et\u00a0al. (eds) The 8th Asia-Pacific web conference (APWeb 2006), vol 3841 of Lecture notes in computer science. Springer-Verlag, Berlin, pp 591\u2013603","DOI":"10.1007\/11610113_52"}],"container-title":["Data Mining and Knowledge Discovery"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10618-007-0065-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10618-007-0065-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10618-007-0065-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T12:51:48Z","timestamp":1736859108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10618-007-0065-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,2]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["65"],"URL":"https:\/\/doi.org\/10.1007\/s10618-007-0065-y","relation":{},"ISSN":["1384-5810","1573-756X"],"issn-type":[{"value":"1384-5810","type":"print"},{"value":"1573-756X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,2]]}}}