{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T02:16:20Z","timestamp":1769912180360,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031465864","type":"print"},{"value":"9783031465871","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T00:00:00Z","timestamp":1697760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T00:00:00Z","timestamp":1697760000000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-46587-1_7","type":"book-chapter","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T23:03:27Z","timestamp":1697756607000},"page":"117-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Methodology for\u00a0the\u00a0Analysis of\u00a0Robotic Systems via\u00a0Process Mining"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6767-2184","authenticated-orcid":false,"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5548-9806","authenticated-orcid":false,"given":"Sara","family":"Pettinari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5374-2364","authenticated-orcid":false,"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6872-0616","authenticated-orcid":false,"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,20]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"W van der Aalst","year":"2016","unstructured":"van der Aalst, W.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"7_CR2","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-031-08848-3_2","volume-title":"Process Mining Handbook","author":"W van der Aalst","year":"2022","unstructured":"van der Aalst, W.: Foundations of process discovery. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 37\u201375. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_2"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s12599-018-0542-4","volume":"60","author":"W Van der Aalst","year":"2018","unstructured":"Van der Aalst, W., Bichler, M., Heinzl, A.: Robotic process automation. Bus. Inf. Syst. Eng. 60, 269\u2013272 (2018)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Afanasyev, I., et al.: Towards the internet of robotic things: analysis, architecture, components and challenges. In: DeSE, pp. 3\u20138. IEEE (2019)","DOI":"10.1109\/DeSE.2019.00011"},{"key":"7_CR5","first-page":"85","volume":"4","author":"I Afyouni","year":"2012","unstructured":"Afyouni, I., Ray, C., Claramunt, C.: Spatial models for context-aware indoor navigation systems: a survey. J. Spat. Inf. Sci. 4, 85\u2013123 (2012)","journal-title":"J. Spat. Inf. Sci."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Afzal, A., Goues, C.L., Hilton, M., Timperley, C.S.: A study on challenges of testing robotic systems. In: ICST, pp. 96\u2013107. IEEE (2020)","DOI":"10.1109\/ICST46399.2020.00020"},{"issue":"4","key":"7_CR7","first-page":"686","volume":"31","author":"A Augusto","year":"2018","unstructured":"Augusto, A., et al.: Automated discovery of process models from event logs: review and benchmark. IEEE TKDE 31(4), 686\u2013705 (2018)","journal-title":"IEEE TKDE"},{"key":"7_CR8","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-031-27815-0_5","volume-title":"Process Mining Workshops","author":"Y Bertrand","year":"2022","unstructured":"Bertrand, Y., Van den Abbeele, B., Veneruso, S., Leotta, F., Mecella, M., Serral Asensio, E.: A survey on the application of process mining to smart spaces data. In: Montali, M., Senderovich, A., Weidlich, M. (eds.) ICPM 2022. LNBIP, vol. 468, pp. 57\u201370. Springer, Cham (2022)"},{"key":"7_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-98581-3_8","volume-title":"Process Mining Workshops","author":"Y Bertrand","year":"2022","unstructured":"Bertrand, Y., De Weerdt, J., Serral, E.: A bridging model for process mining and IoT. In: Munoz-Gama, J., Lu, X. (eds.) ICPM 2021. LNBIP, vol. 433, pp. 98\u2013110. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-98581-3_8"},{"key":"7_CR10","unstructured":"Bourr, K., Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: Disciplined use of BPMN for mission modeling of Multi-Robot Systems. In: Forum at Practice of Enterprise Modeling, vol. 3045, pp. 1\u201310. CEUR-WS.org (2021)"},{"key":"7_CR11","unstructured":"Chitic, S.: Middleware and programming models for multi-robot systems. Ph.D. thesis, INSA de Lyon, France (2018)"},{"key":"7_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104322","volume":"160","author":"F Corradini","year":"2023","unstructured":"Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: A BPMN-driven framework for Multi-Robot System development. Robot. Auton. Syst. 160, 104322 (2023)","journal-title":"Robot. Auton. Syst."},{"key":"7_CR13","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-031-07475-2_5","volume-title":"BPMDS","author":"F Corradini","year":"2022","unstructured":"Corradini, F., Re, B., Rossi, L., Tiezzi, F.: A technique for collaboration discovery. In: Augusto, A., Gill, A., Bork, D., Nurcan, S., Reinhartz-Berger, I., Schmidt, R. (eds.) BPMDS. LNBIP, vol. 450, pp. 63\u201378. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07475-2_5"},{"key":"7_CR14","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-031-08848-3_9","volume-title":"Process Mining Handbook","author":"D Fahland","year":"2022","unstructured":"Fahland, D.: Process mining over multiple behavioral dimensions with event knowledge graphs. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 274\u2013319. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_9"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-319-32552-1_12","volume-title":"Springer Handbook of Robotics","author":"D Kortenkamp","year":"2016","unstructured":"Kortenkamp, D., Simmons, R., Brugali, D.: Robotic systems architectures and programming. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, pp. 283\u2013306. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-32552-1_12"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5), 100:1\u2013100:41 (2019)","DOI":"10.1145\/3342355"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-45348-4_8","volume-title":"Business Process Management","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van\u00a0der Aalst, W.M.P., Toussaint, P.J.: From low-level events to activities - a pattern-based approach. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 125\u2013141. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_8"},{"key":"7_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-20511-8_15","volume-title":"Business Process Management Workshops","author":"M zur Muehlen","year":"2011","unstructured":"zur Muehlen, M., Swenson, K.D.: BPAF: a standard for the interchange of process analytics data. In: zur Muehlen, M., Su, J. (eds.) BPM 2010. LNBIP, vol. 66, pp. 170\u2013181. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20511-8_15"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Nicoleta, T.C.: Process mining on a robotic mechanism. In: ICST Workshops, pp. 205\u2013212. IEEE (2021)","DOI":"10.1109\/ICSTW52544.2021.00043"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Otsu, K., et al.: Supervised autonomy for communication-degraded subterranean exploration by a robot team. In: Aerospace Conference, pp. 1\u20139. IEEE (2020)","DOI":"10.1109\/AERO47225.2020.9172537"},{"issue":"6","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1187","DOI":"10.1007\/s10514-017-9686-1","volume":"42","author":"JJ Rold\u00e1n","year":"2018","unstructured":"Rold\u00e1n, J.J., Olivares-M\u00e9ndez, M.A., del Cerro, J., Barrientos, A.: Analyzing and improving multi-robot missions by using process mining. Auton. Robot. 42(6), 1187\u20131205 (2018)","journal-title":"Auton. Robot."},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"10673","DOI":"10.1109\/LRA.2022.3193633","volume":"7","author":"M Schmidt","year":"2022","unstructured":"Schmidt, M., Kirchhoff, J., von Stryk, O.: A modular and portable black box recorder for increased transparency of autonomous service robots. Robot. Autom. Lett. 7(4), 10673\u201310680 (2022)","journal-title":"Robot. Autom. Lett."},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.3390\/fi15020077","volume":"15","author":"R Seiger","year":"2023","unstructured":"Seiger, R., Franceschetti, M., Weber, B.: An interactive method for detection of process activity executions from IoT data. Future Internet 15(2), 77 (2023)","journal-title":"Future Internet"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Takaya, K., Asai, T., Kroumov, V., Smarandache, F.: Simulation environment for mobile robots testing using ROS and Gazebo. In: ICSTCC, pp. 96\u2013101. IEEE (2016)","DOI":"10.1109\/ICSTCC.2016.7790647"},{"key":"7_CR25","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-56994-9_18","volume-title":"Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016","author":"N Tax","year":"2018","unstructured":"Tax, N., Sidorova, N., Haakma, R., van der Aalst, W.M.P.: Event abstraction for process mining using supervised learning techniques. In: Bi, Y., Kapoor, S., Bhatia, R. (eds.) IntelliSys 2016. LNNS, vol. 15, pp. 251\u2013269. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-56994-9_18"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Van Eck, M.L., Sidorova, N., Van der Aalst, W.: Enabling process mining on sensor data from smart products. In: International Conference on Research Challenges in Information Science, pp. 1\u201312. IEEE (2016)","DOI":"10.1109\/RCIS.2016.7549355"},{"issue":"1","key":"7_CR27","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/TRO.2019.2937471","volume":"36","author":"F Vicentini","year":"2020","unstructured":"Vicentini, F., Askarpour, M., Rossi, M.G., Mandrioli, D.: Safety assessment of collaborative robotics through automated formal verification. IEEE Trans. Robot. 36(1), 42\u201361 (2020)","journal-title":"IEEE Trans. Robot."},{"key":"7_CR28","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-031-08848-3_6","volume-title":"Process Mining Handbook","author":"JD Weerdt","year":"2022","unstructured":"Weerdt, J.D., Wynn, M.T.: Foundations of process event data. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 193\u2013211. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_6"},{"issue":"3","key":"7_CR29","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s41066-020-00226-2","volume":"6","author":"SJ van Zelst","year":"2021","unstructured":"van Zelst, S.J., Mannhardt, F., de Leoni, M., Koschmider, A.: Event abstraction in process mining: literature review and taxonomy. Granul. Comput. 6(3), 719\u2013736 (2021)","journal-title":"Granul. Comput."}],"container-title":["Lecture Notes in Computer Science","Enterprise Design, Operations, and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46587-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T10:03:27Z","timestamp":1709805807000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46587-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,20]]},"ISBN":["9783031465864","9783031465871"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46587-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,20]]},"assertion":[{"value":"20 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EDOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Enterprise Design, Operations, and Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"edoc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.rug.nl\/research\/bernoulli\/conf\/","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 Proceedings","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","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":"12","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":"33% - 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":"3","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)"}}]}}