{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:50Z","timestamp":1774915550663,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319390857","type":"print"},{"value":"9783319390864","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39086-4_15","type":"book-chapter","created":{"date-parts":[[2016,6,8]],"date-time":"2016-06-08T09:09:16Z","timestamp":1465376956000},"page":"240-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Anti-alignments in Conformance Checking \u2013 The Dark Side of Process Models"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Chatain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,9]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery Conformance and Enhancement of Business Processes","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"issue":"1","key":"15_CR2","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)","journal-title":"Inf. Syst."},{"key":"15_CR3","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"key":"15_CR4","unstructured":"Munoz-Gama, J.: Conformance checking and diagnosis in process mining. Ph.D. thesis, Universitat Politecnica de Catalunya (2014)"},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. Inf. Syst. E-Bus. Manag. 13(1), 37\u201367 (2015)","journal-title":"Inf. Syst. E-Bus. Manag."},{"key":"15_CR6","unstructured":"Yang, H., van Dongen, B.F., her Hofstede, A.H.M., Wynn, M.T., Wang, J.: Estimating completeness of event logs. Technical report BPM-12-04, BPM Center (2012)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-662-45563-0_20","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"SKLM van den Broucke","year":"2014","unstructured":"van den Broucke, S.K.L.M., Munoz-Gama, J., Carmona, J., Baesens, B., Vanthienen, J.: Event-based real-time decomposed conformance analysis. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 345\u2013363. Springer, Heidelberg (2014)"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","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\u2013574 (1989)","journal-title":"Proc. IEEE"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1440001","DOI":"10.1142\/S0218843014400012","volume":"23","author":"JCAM Buijs","year":"2014","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Coop. Inf. Syst. 23(1), 1440001 (2014)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-19488-2_15","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"WMP van der Aalst","year":"2015","unstructured":"van der Aalst, W.M.P., Kalenkova, A., Rubin, V., Verbeek, E.: Process discovery using localized events. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 287\u2013308. Springer, Heidelberg (2015)"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.3233\/FI-1995-2314","volume":"23","author":"IA Stewart","year":"1995","unstructured":"Stewart, I.A.: Reachability in some classes of acyclic Petri nets. Fundam. Inform. 23(1), 91\u2013100 (1995)","journal-title":"Fundam. Inform."},{"issue":"1&2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","author":"A Cheng","year":"1995","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theor. Comput. Sci. 147(1&2), 117\u2013136 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Tseytin, G.S.: On the complexity of derivation in propositional calculus. In: Slisenko, A. (ed.) Studies in Constructive Mathematics and Mathematical Logic, Part II. Seminars in Mathematics. Steklov Mathematical Institute, pp. 115\u2013125 (1970) Translated from Russian: Zapiski Nauchnykh Seminarov LOMI, vol. 8, pp. 234\u2013259 (1968)","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"15_CR15","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"735","volume-title":"Handbook of Satisfiability: vol. 185","author":"H Kleine B\u00fcning","year":"2009","unstructured":"Kleine B\u00fcning, H., Bubeck, U.: Theory of quantified Boolean formulas. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability: vol. 185. Frontiers in Artificial Intelligence and Applications, pp. 735\u2013760. IOS Press, Amsterdam (2009)"},{"key":"15_CR16","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)","journal-title":"Inf. Syst."},{"issue":"8","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1877","DOI":"10.1109\/TKDE.2013.130","volume":"26","author":"SKLM van den Broucke","year":"2014","unstructured":"van den Broucke, S.K.L.M., Weerdt, J.D., Vanthienen, J., Baesens, B.: Determining process model precision and generalization with weighted artificial negative events. IEEE Trans. Knowl. Data Eng. 26(8), 1877\u20131889 (2014)","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39086-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T03:05:16Z","timestamp":1699844716000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39086-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319390857","9783319390864"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39086-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Torun","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}