{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T10:09:53Z","timestamp":1750154993321,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319740294"},{"type":"electronic","value":"9783319740300"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-74030-0_6","type":"book-chapter","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T09:33:43Z","timestamp":1516095223000},"page":"89-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Enhancing Workflow-Nets with Data for Trace Completion"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"De Masellis","sequence":"first","affiliation":[]},{"given":"Chiara","family":"Di Francescomarino","sequence":"additional","affiliation":[]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Tessaris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,17]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst","year":"1997","unstructured":"Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_48"},{"doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.: Conformance checking using cost-based fitness analysis. In: Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference (EDOC 2011), pp. 55\u201364. IEEE Computer Society (2011)","key":"6_CR2","DOI":"10.1109\/EDOC.2011.12"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-319-03524-6_40","volume-title":"AI*IA 2013: Advances in Artificial Intelligence","author":"P Bertoli","year":"2013","unstructured":"Bertoli, P., Di Francescomarino, C., Dragoni, M., Ghidini, C.: Reasoning-based techniques for dealing with incomplete business process execution traces. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS (LNAI), vol. 8249, pp. 469\u2013480. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03524-6_40"},{"doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Maggi, F.M., Marrella, A., Sardi\u00f1a, S.: Computing trace alignment against declarative process models through planning. In: Proceedings of the 26th International Conference on Automated Planning and Scheduling, pp. 367\u2013375. AAAI Press (2016)","key":"6_CR4","DOI":"10.1609\/icaps.v26i1.13783"},{"unstructured":"De Masellis, R., Di Francescomarino, C., Ghidini, C., Tessaris, S.: Enhancing workflow-nets with data for trace completion (2017). https:\/\/arxiv.org\/abs\/1706.00356","key":"6_CR5"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-319-19069-3_20","volume-title":"Advanced Information Systems Engineering","author":"C Francescomarino Di","year":"2015","unstructured":"Di Francescomarino, C., Ghidini, C., Tessaris, S., Sandoval, I.V.: Completing workflow traces using action languages. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 314\u2013330. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_20"},{"issue":"1\u20132","key":"6_CR7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: the DLVK system. Art. Intell. 144(1\u20132), 157\u2013211 (2003)","journal-title":"Art. Intell."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K Hee van","year":"2003","unstructured":"van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337\u2013356. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_22"},{"key":"6_CR9","volume-title":"Seminal Contributions to Information Systems Engineering","author":"B Kiepuszewski","year":"2013","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., S\u00f8lvberg, A. (eds.) Seminal Contributions to Information Systems Engineering. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"de Leoni, M., van der Aalst, W.: Data-aware process mining: discovering decisions in processes using alignments. In: Proceedings of the 28th ACM Symposium on Applied Computing (SAC 2013), pp. 1454\u20131461. ACM (2013)","key":"6_CR10","DOI":"10.1145\/2480362.2480633"},{"key":"6_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-30359-3_5","volume-title":"Business Information Systems","author":"M Leoni de","year":"2012","unstructured":"de Leoni, M., van der Aalst, W.M.P., van Dongen, B.F.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 48\u201359. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_5"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/978-3-642-60085-2_16","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Action languages, answer sets and planning. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: A 25-Year Perspective, pp. 357\u2013373. Springer, Heidelberg (1999)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-33606-5_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"A Marrella","year":"2012","unstructured":"Marrella, A., Russo, A., Mecella, M.: Planlets: automatically recovering dynamic processes in YAWL. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012. LNCS, vol. 7565, pp. 268\u2013286. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_17"},{"key":"6_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-41641-5_10","volume-title":"The Practice of Enterprise Modeling","author":"A Rogge-Solti","year":"2013","unstructured":"Rogge-Solti, A., Mans, R.S., van der Aalst, W.M.P., Weske, M.: Improving documentation by repairing event logs. In: Grabis, J., Kirikova, M., Zdravkovic, J., Stirna, J. (eds.) PoEM 2013. LNBIP, vol. 165, pp. 129\u2013144. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41641-5_10"},{"issue":"7","key":"6_CR15","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","volume":"36","author":"N Sidorova","year":"2011","unstructured":"Sidorova, N., Stahl, C., Tr\u010dka, N.: Soundness verification for conceptual workflow nets with data. Inf. Syst. 36(7), 1026\u20131043 (2011)","journal-title":"Inf. Syst."},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W Aalst van der","year":"2010","unstructured":"van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Comput. 23(3), 333\u2013363 (2010)","journal-title":"Formal Aspects of Comput."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74030-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T12:34:11Z","timestamp":1693485251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74030-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319740294","9783319740300"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74030-0_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]}}}