{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,10]],"date-time":"2026-05-10T00:22:12Z","timestamp":1778372532498,"version":"3.51.4"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,7,8]],"date-time":"2016-07-08T00:00:00Z","timestamp":1467936000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003005","name":"Eindhoven University of Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003005","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s10270-016-0545-x","type":"journal-article","created":{"date-parts":[[2016,7,8]],"date-time":"2016-07-08T00:22:56Z","timestamp":1467937376000},"page":"599-631","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":173,"title":["Scalable process discovery and conformance checking"],"prefix":"10.1007","volume":"17","author":[{"given":"Sander J. J.","family":"Leemans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,8]]},"reference":[{"key":"545_CR1","doi-asserted-by":"publisher","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment based precision checking. In: Business Process Management Workshops 2012, pp. 137\u2013149 (2012). doi: 10.1007\/978-3-642-36285-9_15","DOI":"10.1007\/978-3-642-36285-9_15"},{"key":"545_CR2","doi-asserted-by":"publisher","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: IEEE EDOC 2011, pp. 55\u201364 (2011). doi: 10.1109\/EDOC.2011.12","DOI":"10.1109\/EDOC.2011.12"},{"key":"545_CR3","unstructured":"Adriansyah, A.: Aligning Observed and Modeled Behavior. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2014)"},{"key":"545_CR4","doi-asserted-by":"publisher","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: POPL SIGPLAN-SIGACT 2002, pp. 4\u201316 (2002). doi: 10.1145\/503272.503275 . http:\/\/dblp.uni-trier.de\/rec\/bibtex\/conf\/popl\/AmmonsBL02","DOI":"10.1145\/503272.503275"},{"key":"545_CR5","doi-asserted-by":"publisher","unstructured":"Armas-Cervantes, A., Baldan, P., Dumas, M., Garc\u00eda-Ba nuelos, L.: Behavioral comparison of process models based on canonically reduced event structures. In: BPM 2014, pp. 267\u2013282 (2014). doi: 10.1007\/978-3-319-10172-9_17","DOI":"10.1007\/978-3-319-10172-9_17"},{"key":"545_CR6","doi-asserted-by":"publisher","unstructured":"Badouel, E.: On the $$\\alpha $$ \u03b1 -reconstructibility of workflow nets. In: Proceedings on 33rd International Conference, of Application and Theory of Petri Nets, Hamburg, Germany, June 25\u201329, vol. 7347, pp. 128\u2013147. Springer, Berlin (2012). doi: 10.1007\/978-3-642-31131-4_8 . http:\/\/dblp.uni-trier.de\/rec\/bibtex\/conf\/apn\/Badouell2","DOI":"10.1007\/978-3-642-31131-4_8"},{"issue":"2","key":"545_CR7","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.compind.2011.11.003","volume":"63","author":"M Becker","year":"2012","unstructured":"Becker, M., Laue, R.: A comparative survey of business process similarity measures. Comput. Ind. 63(2), 148\u2013167 (2012). doi: 10.1016\/j.compind.2011.11.003","journal-title":"Comput. Ind."},{"key":"545_CR8","doi-asserted-by":"publisher","unstructured":"Benner-Wickner, M., Br\u00fcckmann, T., Gruhn, V., Book, M.: Process mining for knowledge-intensive business processes. In: I-KNOW 2015, pp. 4:1\u20134:8 (2015). doi: 10.1145\/2809563.2809580","DOI":"10.1145\/2809563.2809580"},{"key":"545_CR9","volume-title":"Process Mining Based on Regions of Languages","author":"R Bergenthum","year":"2007","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages. Business Process Management, Hoboken (2007)"},{"issue":"1","key":"545_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/FI-2009-147","volume":"95","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of Petri nets from term based representations of infinite partial languages. Fundam. Inform. 95(1), 187\u2013217 (2009)","journal-title":"Fundam. Inform."},{"key":"545_CR11","doi-asserted-by":"crossref","unstructured":"Buijs, J., van Dongen, B., van der Aalst, W.: A genetic algorithm for discovering process trees. In: IEEE Congress on Evolutionary Computation, pp. 1\u20138 (2012)","DOI":"10.1109\/CEC.2012.6256458"},{"key":"545_CR12","doi-asserted-by":"publisher","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: OTM. LNCS, vol. 7565, pp. 305\u2013322 (2012). doi: 10.1007\/978-3-642-33606-5_19","DOI":"10.1007\/978-3-642-33606-5_19"},{"key":"545_CR13","unstructured":"Buijs, J.C.A.M.: Flexible Evolutionary Algorithms for Mining Structured Process Models. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2014)"},{"key":"545_CR14","doi-asserted-by":"publisher","unstructured":"Burattin, A., Sperduti, A., van der Aalst, W.M.P.: Control-flow discovery from event streams. In: IEEE Congress on Evolutionary Computation, pp. 2420\u20132427 (2014). doi: 10.1109\/CEC.2014.6900341","DOI":"10.1109\/CEC.2014.6900341"},{"key":"545_CR15","unstructured":"Burattin, A.: PLG2: multiperspective processes randomization and simulation for online and offline settings. CoRR (2015). arXiv:1506.08415"},{"key":"545_CR16","unstructured":"Carmona, J., Sol\u00e9, M.: PMLAB: an scripting environment for process mining. In: BPM Demos. CEUR-WP, vol. 1295 (2014)"},{"issue":"8","key":"545_CR17","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Trans. Comput. 47(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"545_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIC.2006.74","volume":"10","author":"S Datta","year":"2006","unstructured":"Datta, S., Bhaduri, K., Giannella, C., Wolff, R., Kargupta, H.: Distributed data mining in peer-to-peer networks. IEEE Internet Comput. 10(4), 18\u201326 (2006). doi: 10.1109\/MIC.2006.74","journal-title":"IEEE Internet Comput."},{"key":"545_CR19","doi-asserted-by":"publisher","unstructured":"Dijkman, R.M., van Dongen, B.F., Dumas, M., Garc\u00eda-Ba nuelos, L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M., Yan, Z.: A short survey on process model similarity. In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 421\u2013427 (2013). doi: 10.1007\/978-3-642-36926-1_34","DOI":"10.1007\/978-3-642-36926-1_34"},{"key":"545_CR20","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets\u2014a survey. Bull. EATCS 52, 244\u2013262 (1994). http:\/\/dblp.uni-trier.de\/rec\/bibtex\/journals\/eatcs\/EsparzaN94"},{"key":"545_CR21","unstructured":"Evermann, J.: Scalable process discovery using map-reduce. In: IEEE Transactions on Services Computing (2014, to appear)"},{"key":"545_CR22","doi-asserted-by":"publisher","unstructured":"Gabel, M., Su, Z.: Javert: fully automatic mining of general temporal properties from dynamic traces. In: ACM SIGSOFT 2008, pp. 339\u2013349 (2008). doi: 10.1145\/1453101.1453150","DOI":"10.1145\/1453101.1453150"},{"key":"545_CR23","unstructured":"G\u00fcnther, C., Rozinat, A.: Disco: discover your processes. In: BPM (Demos), pp. 40\u201344 (2012)"},{"issue":"2","key":"545_CR24","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/s10115-003-0109-6","volume":"6","author":"B Hay","year":"2004","unstructured":"Hay, B., Wets, G., Vanhoof, K.: Mining navigation patterns using a sequence alignment method. Knowl. Inf. Syst. 6(2), 150\u2013163 (2004)","journal-title":"Knowl. Inf. Syst."},{"issue":"12","key":"545_CR25","doi-asserted-by":"publisher","first-page":"2435","DOI":"10.1016\/j.scico.2012.11.009","volume":"78","author":"Y Hwong","year":"2013","unstructured":"Hwong, Y., Keiren, J.J.A., Kusters, V.J.J., Leemans, S.J.J., Willemse, T.A.C.: Formalising and analysing the control software of the compact muon solenoid experiment at the large hadron collider. Sci. Comput. Program. 78(12), 2435\u20132452 (2013). doi: 10.1016\/j.scico.2012.11.009","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"545_CR26","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/380995.381033","volume":"2","author":"R Kohavi","year":"2000","unstructured":"Kohavi, R., Brodley, C.E., Frasca, B., Mason, L., Zheng, Z.: Kdd-cup 2000 organizers\u2019 report: peeling the onion. SIGKDD Explor. 2(2), 86\u201398 (2000). doi: 10.1145\/380995.381033","journal-title":"SIGKDD Explor."},{"issue":"3","key":"545_CR27","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1007\/s10270-013-0389-6","volume":"14","author":"M Kunze","year":"2015","unstructured":"Kunze, M., Weidlich, M., Weske, M.: Querying process models by behavior inclusion. Softw. Syst. Model. 14(3), 1105\u20131125 (2015). doi: 10.1007\/s10270-013-0389-6","journal-title":"Softw. Syst. Model."},{"key":"545_CR28","doi-asserted-by":"crossref","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Business Process Management Workshops, pp. 66\u201378 (2013)","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"545_CR29","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs\u2014A constructive approach. In: Petri Nets 2013, pp. 311\u2013329 (2013). doi: 10.1007\/978-3-642-38697-8_17","DOI":"10.1007\/978-3-642-38697-8_17"},{"key":"545_CR30","doi-asserted-by":"publisher","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from incomplete event logs. In: Petri nets 2014, vol. 8489, pp. 91\u2013110 (2014). doi: 10.1007\/978-3-319-07734-5_6","DOI":"10.1007\/978-3-319-07734-5_6"},{"key":"545_CR31","doi-asserted-by":"crossref","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: Exploring processes and deviations. In: Business Process Management Workshops (2014, to appear)","DOI":"10.1007\/978-3-319-15895-2_26"},{"key":"545_CR32","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery with guarantees. In: BPMDS 2015, pp. 85\u2013101 (2015). doi: 10.1007\/978-3-319-19237-6_6","DOI":"10.1007\/978-3-319-19237-6_6"},{"key":"545_CR33","doi-asserted-by":"crossref","unstructured":"Leemans, M., van der Aalst, W.: Process mining in software systems: discovering real-life business transactions and process models from distributed systems. In: Lethbridge T, Cabot J, Egyed A (eds.) ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 44\u201353 (2015). http:\/\/dblp.uni-trier.de\/rec\/bibtex\/conf\/models\/LeemansA15","DOI":"10.1109\/MODELS.2015.7338234"},{"key":"545_CR34","doi-asserted-by":"publisher","unstructured":"Liesaputra, V., Yongchareon, S., Chaisiri, S.: Efficient process model discovery using maximal pattern mining. In: BPM 2015, pp. 441\u2013456 (2015). doi: 10.1007\/978-3-319-23063-4_29","DOI":"10.1007\/978-3-319-23063-4_29"},{"key":"545_CR35","volume-title":"An introduction to formal languages and automata","author":"P Linz","year":"2011","unstructured":"Linz, P.: An introduction to formal languages and automata. Jones & Bartlett Learning, Burlington (2011)"},{"key":"545_CR36","doi-asserted-by":"crossref","unstructured":"Lu, X., Fahland, D., van den Biggelaar, F.J., van der Aalst, W.M.: Label refinement for handling duplicated tasks in process discovery. In: BPM (2016, submitted)","DOI":"10.1007\/978-3-319-45348-4_6"},{"key":"545_CR37","unstructured":"M\u00f8ller, A.: dk.brics.automaton\u2014finite-state automata and regular expressions for Java (2010). http:\/\/www.brics.dk\/automaton\/"},{"key":"545_CR38","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Munoz-Gama","year":"2014","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014). doi: 10.1016\/j.is.2014.04.003","journal-title":"Inf. Syst."},{"issue":"4","key":"545_CR39","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"545_CR40","doi-asserted-by":"publisher","unstructured":"Pradel, M., Gross, T.R.: Automatic generation of object usage specifications from large method traces. In: ASE 2009, pp. 371\u2013382. IEEE Computer Society (2009). doi: 10.1109\/ASE.2009.60","DOI":"10.1109\/ASE.2009.60"},{"key":"545_CR41","doi-asserted-by":"publisher","unstructured":"Redlich, D., Molka, T., Gilani, W., Blair, G.S., Rashid, A.: Constructs competition miner: process control-flow discovery of bp-domain constructs. In: Proceedings on 12th International Conference, Business Process Management (BPM), Haifa, Israel, September 7\u201311, 2014, vol. 8659, pp. 134\u2013150 (2014). doi: 10.1007\/978-3-319-10172-9_9","DOI":"10.1007\/978-3-319-10172-9_9"},{"key":"545_CR42","unstructured":"Redlich, D., Molka, T., Gilani, W., Blair, G.S., Rashid, A.: Scalable dynamic business process discovery with the constructs competition miner. In: SIMPDA 2014. CEUR-WP, vol. 1293, pp. 91\u2013107 (2014)"},{"issue":"1","key":"545_CR43","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008). doi: 10.1016\/j.is.2007.07.001","journal-title":"Inf. Syst."},{"key":"545_CR44","doi-asserted-by":"publisher","unstructured":"Tapia-Flores, T., L\u00f3pez-Mellado, E., Estrada-Vargas, A.P., Lesage, J.: Petri net discovery of discrete event processes by computing t-invariants. In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, Sept. 16\u201319, pp. 1\u20138 (2014). doi: 10.1109\/ETFA.2014.7005080","DOI":"10.1109\/ETFA.2014.7005080"},{"key":"545_CR45","doi-asserted-by":"publisher","unstructured":"van Beest, N.R.T.P., Dumas, M., Garc\u00eda-Ba nuelos, L., Rosa, M.L.: Log delta analysis: Interpretable differencing of business process event logs. In: BPM 2015, pp. 386\u2013405 (2015). doi: 10.1007\/978-3-319-23063-4_26","DOI":"10.1007\/978-3-319-23063-4_26"},{"key":"545_CR46","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P., et al.: Process mining manifesto. In: Business Process Management Workshops-(BPM) 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011, pp. 169\u2013194 (2011). doi: 10.1007\/978-3-642-28108-2_19","DOI":"10.1007\/978-3-642-28108-2_19"},{"key":"545_CR47","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Decomposing process mining problems using passages. In: Petri Nets 2012, pp. 72\u201391 (2012). doi: 10.1007\/978-3-642-31131-4_5","DOI":"10.1007\/978-3-642-31131-4_5"},{"key":"545_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-02922-1_1","volume":"2013","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Process cubes: slicing, dicing, rolling up and drilling down event data for process mining. AP-BPM 2013, 1\u201322 (2013). doi: 10.1007\/978-3-319-02922-1_1","journal-title":"AP-BPM"},{"issue":"9","key":"545_CR49","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W Aalst van der","year":"2004","unstructured":"van der Aalst, W., Weijters, A., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004). doi: 10.1109\/TKDE.2004.47","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"545_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining\u2014Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining\u2014Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011). doi: 10.1007\/978-3-642-19345-3"},{"issue":"2","key":"545_CR51","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Aalst van der","year":"2012","unstructured":"van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip. Rev Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdiscip. Rev Data Min. Knowl. Discov."},{"issue":"4","key":"545_CR52","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing Petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471\u2013507 (2013). doi: 10.1007\/s10619-013-7127-5","journal-title":"Distrib. Parallel Databases"},{"key":"545_CR53","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8811.001.0001","volume-title":"Modeling Business Processes: A Petri Net-Oriented Approach","author":"W Aalst van der","year":"2011","unstructured":"van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)"},{"issue":"3\u20134","key":"545_CR54","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-2009-136","volume":"94","author":"J Werf van der","year":"2009","unstructured":"van der Werf, J., van Dongen, B., Hurkens, C., Serebrenik, A.: Process discovery using integer linear programming. Fundam. Inform. 94(3\u20134), 387\u2013412 (2009)","journal-title":"Fundam. Inform."},{"key":"545_CR55","doi-asserted-by":"publisher","unstructured":"van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 405\u2013419 (2013). doi: 10.1007\/978-3-642-36926-1_33","DOI":"10.1007\/978-3-642-36926-1_33"},{"key":"545_CR56","doi-asserted-by":"publisher","unstructured":"van Dongen, B.: BPI Challenge 2011 Dataset (2011). doi: 10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54","DOI":"10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54"},{"key":"545_CR57","doi-asserted-by":"publisher","unstructured":"van Dongen, B.: BPI Challenge 2012 Dataset (2012). doi: 10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f","DOI":"10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"issue":"3","key":"545_CR58","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"RJ Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555\u2013600 (1996). doi: 10.1145\/233551.233556","journal-title":"J. ACM"},{"key":"545_CR59","doi-asserted-by":"publisher","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: ICSOC 2007, pp. 43\u201355 (2007). doi: 10.1007\/978-3-540-74974-5_4","DOI":"10.1007\/978-3-540-74974-5_4"},{"issue":"7","key":"545_CR60","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1016\/j.is.2012.02.004","volume":"37","author":"JD Weerdt","year":"2012","unstructured":"Weerdt, J.D., Backer, M.D., Vanthienen, J., Baesens, B.: A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs. Inf. Syst. 37(7), 654\u2013676 (2012)","journal-title":"Inf. Syst."},{"key":"545_CR61","doi-asserted-by":"crossref","unstructured":"Weidlich, M., van der Werf, J.: On profiles and footprints\u2014relational semantics for Petri nets. In: Petri Nets, pp. 148\u2013167 (2012)","DOI":"10.1007\/978-3-642-31131-4_9"},{"issue":"3\u20134","key":"545_CR62","doi-asserted-by":"crossref","first-page":"399","DOI":"10.3233\/FI-2011-614","volume":"113","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles\u2014efficient computation, applications, and evaluation. Fundam. Inform. 113(3\u20134), 399\u2013435 (2011)","journal-title":"Fundam. Inform."},{"key":"545_CR63","doi-asserted-by":"crossref","unstructured":"Weijters, A., Ribeiro, J.: Flexible heuristics miner. In: CIDM, pp. 310\u2013317 (2011)","DOI":"10.1109\/CIDM.2011.5949453"},{"key":"545_CR64","unstructured":"Weijters, A., van der Aalst, W., de Medeiros, A.: Process Mining with the Heuristics Miner-Algorithm. BETA working paper series 166, Eindhoven University of Technology, Eindhoven (2006)"},{"key":"545_CR65","doi-asserted-by":"crossref","unstructured":"Wen, L., Wang, J., Sun, J.: Mining invisible tasks from event logs. In: Advances in Data and Web Management, pp. 358\u2013365 (2007)","DOI":"10.1007\/978-3-540-72524-4_38"},{"issue":"2","key":"545_CR66","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10618-007-0065-y","volume":"15","author":"L Wen","year":"2007","unstructured":"Wen, L., van der Aalst, W., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2), 145\u2013180 (2007)","journal-title":"Data Min. Knowl. Discov."},{"key":"545_CR67","doi-asserted-by":"publisher","unstructured":"Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: mining temporal API rules from imperfect traces. In: ICSE 2006, pp. 282\u2013291 (2006). doi: 10.1145\/1134325","DOI":"10.1145\/1134325"},{"issue":"5","key":"545_CR68","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.compind.2010.01.001","volume":"61","author":"H Zha","year":"2010","unstructured":"Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Comput. Ind. 61(5), 463\u2013471 (2010). doi: 10.1016\/j.compind.2010.01.001","journal-title":"Comput. Ind."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0545-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0545-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0545-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0545-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,23]],"date-time":"2020-09-23T16:39:11Z","timestamp":1600879151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0545-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,8]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["545"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0545-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,8]]}}}