{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T20:58:08Z","timestamp":1780433888137,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030586652","type":"print"},{"value":"9783030586669","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58666-9_9","type":"book-chapter","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T19:07:57Z","timestamp":1599160077000},"page":"147-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6512-9580","authenticated-orcid":false,"given":"Daniel","family":"Schuster","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0415-1036","authenticated-orcid":false,"given":"Sebastiaan J.","family":"van Zelst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,9,4]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: The application of Petri Nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998). https:\/\/doi.org\/10.1142\/S0218126698000043","DOI":"10.1142\/S0218126698000043"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rew.: Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","DOI":"10.1002\/widm.1045"},{"key":"9_CR3","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Eindhoven University of Technology, Department of Mathematics and Computer Science (2014). https:\/\/doi.org\/10.6100\/IR770080","DOI":"10.6100\/IR770080"},{"key":"9_CR5","unstructured":"Berti, A., van Zelst, S.J., van der Aalst, W.: Process mining for Python (PM4Py): Bridging the gap between process-and data science. In: Proceedings of the ICPM Demo Track 2019, Co-located with 1st International Conference on Process Mining (ICPM 2019), Aachen, Germany, 24\u201326 June 2019. pp. 13\u201316 (2019). http:\/\/ceur-ws.org\/Vol-2374\/"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Buijs, J.: Receipt phase of an environmental permit application process (\u2018WABO\u2019), CoSeLoG project. Dataset (2014). https:\/\/doi.org\/10.4121\/uuid:a07386a5-7be3-4367-9535-70bc9e77dbe6","DOI":"10.4121\/uuid:a07386a5-7be3-4367-9535-70bc9e77dbe6"},{"key":"9_CR7","unstructured":"Burattin, A.: Online conformance checking for Petri Nets and event streams. In: Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, 13 September 2017 (2017). http:\/\/ceur-ws.org\/Vol-1920\/BPM_2017_paper_153.pdf"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-98648-7_15","volume-title":"Business Process Management","author":"A Burattin","year":"2018","unstructured":"Burattin, A., van Zelst, S.J., Armas-Cervantes, A., van Dongen, B.F., Carmona, J.: Online conformance checking using behavioural patterns. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 250\u2013267. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_15"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7","DOI":"10.1007\/978-3-319-99414-7"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008). https:\/\/doi.org\/10.1016\/j.infsof.2008.02.006","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"van Dongen, B.F.: BPI Challenge 2019. Dataset (2019). https:\/\/doi.org\/10.4121\/uuid:d06aff4b-79f0-45e6-8ec8-e19730c248f1","DOI":"10.4121\/uuid:d06aff4b-79f0-45e6-8ec8-e19730c248f1"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Sci. Cybern. 4(2), 100\u2013107 (1968). https:\/\/doi.org\/10.1109\/TSSC.1968.300136","DOI":"10.1109\/TSSC.1968.300136"},{"key":"9_CR13","unstructured":"Koenig, S., Likhachev, M.: Incremental A*. In: Dietterich, T.G., Becker, S., Ghahramani, Z. (eds.) Advances in Neural Information Processing Systems 14 (Neural Information Processing Systems: Natural and Synthetic, NIPS 2001, 3\u20138 December 2001, Vancouver, British Columbia, Canada), pp. 1539\u20131546. MIT Press (2001). http:\/\/papers.nips.cc\/paper\/2003-incremental-a"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Koenig, S., Likhachev, M.: Adaptive A. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M.J. (eds.) 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25\u201329 July 2005, Utrecht, The Netherlands, pp. 1311\u20131312. ACM (2005). https:\/\/doi.org\/10.1145\/1082473.1082748","DOI":"10.1145\/1082473.1082748"},{"key":"9_CR15","unstructured":"Koenig, S., Likhachev, M., Liu, Y., Furcy, D.: Incremental heuristic search in AI. AI Mag. 25(2), 99\u2013112 (2004). http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/1763"},{"key":"9_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Mannhardt, F.: Sepsis Cases. Dataset. 4TU.Centre for Research Data (2016). https:\/\/doi.org\/10.4121\/uuid:915d2bfb-7e84-49ad-a286-dc35f063a460","DOI":"10.4121\/uuid:915d2bfb-7e84-49ad-a286-dc35f063a460"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Mannhardt, F.: Hospital Billing. Dataset. 4TU.Centre for Research Data (2017). https:\/\/doi.org\/10.4121\/uuid:76c46b83-c930-4798-a1c9-4be94dfeb741","DOI":"10.4121\/uuid:76c46b83-c930-4798-a1c9-4be94dfeb741"},{"key":"9_CR19","doi-asserted-by":"publisher","unstructured":"Munoz-Gama, J., de la Fuente, R., Sep\u00falveda, M., Fuentes, R.: Conformance checking challenge 2019. dataset. 4TU.Centre for Research Data (2019). https:\/\/doi.org\/10.4121\/uuid:c923af09-ce93-44c3-ace0-c5508cf103ad","DOI":"10.4121\/uuid:c923af09-ce93-44c3-ace0-c5508cf103ad"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). https:\/\/inst.eecs.berkeley.edu\/~ee249\/fa07\/discussions\/PetriNets-Murata.pdf","DOI":"10.1109\/5.24143"},{"key":"9_CR21","doi-asserted-by":"crossref","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). https:\/\/doi.org\/10.1016\/j.is.2007.07.001","DOI":"10.1016\/j.is.2007.07.001"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.P.: Online Conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. (2017). https:\/\/doi.org\/10.1007\/s41060-017-0078-6","DOI":"10.1007\/s41060-017-0078-6"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58666-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T22:01:54Z","timestamp":1756936914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58666-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030586652","9783030586669"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58666-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seville","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/congreso.us.es\/bpm2020\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"125","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 19 papers were published from the BPM Forum and 15 from the Blockchain and RPA Forum. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}