{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:00Z","timestamp":1774915500122,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","award":["1191945"],"award-info":[{"award-number":["1191945"]}],"id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007210","name":"RWTH Aachen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007210","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that conducting a process-mining-centric analysis concerning cyber-physical systems provides insights into usage behavior. To show that, we perform our analysis on connected-vehicle data. We transform connected-vehicle data into an event log. We analyze the resulting event log using various process-mining techniques. In particular, we apply basic statistical analysis as well as process-discovery and conformance-checking techniques to receive a well-representative process model. We apply various process-enhancement techniques to get deeper insights. Finally, we capture a multi-perspective view using a state-based approach. We show deviations between a de-jure model and our picked process model, leading to better knowledge concerning real user behavior. We observed that the predefined escalation of warning states does not happen. Additionally, we verified system requirements. Furthermore, we show that the reasons for drivers\u2019 behavior are not related to system issues. Applying process-mining techniques to data concerning cyber-physical systems provides valuable insights into their functionality in a real-world setting. By utilizing process-mining techniques, we can extract insights to a human-understandable level and provide a well-studied access point.<\/jats:p>","DOI":"10.1007\/s42979-024-03008-8","type":"journal-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T11:02:10Z","timestamp":1720609330000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Analyzing Data Streams from Cyber-Physical-Systems: A Case Study"],"prefix":"10.1007","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6541-3848","authenticated-orcid":false,"given":"Harry H.","family":"Beyel","sequence":"first","affiliation":[]},{"given":"Omar","family":"Makke","sequence":"additional","affiliation":[]},{"given":"Mahsa","family":"Pourbafrani","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Gusikhin","sequence":"additional","affiliation":[]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"3008_CR1","doi-asserted-by":"publisher","unstructured":"Lee EA. Cyber physical systems: design challenges. In: IEEE (ISORC). 2008. p. 363\u20139. https:\/\/doi.org\/10.1109\/ISORC.2008.25.","DOI":"10.1109\/ISORC.2008.25"},{"issue":"7","key":"3008_CR2","doi-asserted-by":"publisher","first-page":"1645","DOI":"10.1016\/j.future.2013.01.010","volume":"29","author":"J Gubbi","year":"2013","unstructured":"Gubbi J, Buyya R, Marusic S, Palaniswami M. Internet of things (iot): a vision, architectural elements, and future directions. Future Gener Comput Syst. 2013;29(7):1645\u201360. https:\/\/doi.org\/10.1016\/j.future.2013.01.010.","journal-title":"Future Gener Comput Syst"},{"key":"3008_CR3","doi-asserted-by":"publisher","unstructured":"van der Aalst WMP. Process mining\u2013data science in action. 2nd ed. 2016. https:\/\/doi.org\/10.1007\/978-3-662-49851-4.","DOI":"10.1007\/978-3-662-49851-4"},{"issue":"4","key":"3008_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MSMC.2020.3003135","volume":"6","author":"C Janiesch","year":"2020","unstructured":"Janiesch C, Koschmider A, Mecella M, Weber B, Burattin A, Di Ciccio C, Fortino G, Gal A, Kannengiesser U, Leotta F, Mannhardt F, Marrella A, Mendling J, Oberweis A, Reichert M, Rinderle-Ma S, Serral E, Song W, Su J, Torres V, Weidlich M, Weske M, Zhang L. The internet of things meets business process management: a manifesto. IEEE Syst Man Cybern Mag. 2020;6(4):34\u201344. https:\/\/doi.org\/10.1109\/MSMC.2020.3003135.","journal-title":"IEEE Syst Man Cybern Mag"},{"key":"3008_CR5","doi-asserted-by":"publisher","unstructured":"Keates O. Integrating iot with BPM to provide value to cattle farmers in Australia. In: Business process management workshops. 2019. p. 119\u201329. https:\/\/doi.org\/10.1007\/978-3-030-37453-2_11.","DOI":"10.1007\/978-3-030-37453-2_11"},{"key":"3008_CR6","doi-asserted-by":"publisher","unstructured":"van Eck ML, Sidorova N, van der Aalst WMP. Enabling process mining on sensor data from smart products. In: Tenth IEEE international conference on Research Challenges in Information Science, RCIS 2016, Grenoble, France, June 1\u20133, 2016. p. 1\u201312. https:\/\/doi.org\/10.1109\/RCIS.2016.7549355.","DOI":"10.1109\/RCIS.2016.7549355"},{"key":"3008_CR7","unstructured":"Koschmider A, Janssen D, Mannhardt F. Framework for process discovery from sensor data. In: EMISA. 2020. p. 32\u20138."},{"key":"3008_CR8","doi-asserted-by":"publisher","unstructured":"Astromskis S, Janes A. Mairegger M. A process mining approach to measure how users interact with software: an industrial case study. In: ICSSP. 2015. p. 137\u201341. https:\/\/doi.org\/10.1145\/2785592.2785612.","DOI":"10.1145\/2785592.2785612"},{"key":"3008_CR9","doi-asserted-by":"publisher","unstructured":"Makke O, Gusikhin O. Robust iot based parking information system. In: Smart cities, green technologies, and intelligent transport systems. 2021. p. 204\u201327. https:\/\/doi.org\/10.1007\/978-3-030-89170-1_11.","DOI":"10.1007\/978-3-030-89170-1_11"},{"key":"3008_CR10","doi-asserted-by":"publisher","unstructured":"Beyel HH, Makke O, Yuan F, Gusikhin O, van der Aalst WMP. Analyzing cyber-physical systems in cars: a case study. In: Proceedings of the 12th International Conference on Data Science, Technology and Applications, DATA 2023, Rome, Italy, July 11\u201313, 2023. p. 195\u2013204. https:\/\/doi.org\/10.5220\/0012136000003541.","DOI":"10.5220\/0012136000003541"},{"key":"3008_CR11","doi-asserted-by":"publisher","unstructured":"Beyel HH, Makke O, van der Aalst Gusikhin O, WMP. Analyzing behavior un cyber-physical systems in connected vehicles: a case study. Business Process Management Workshops\u2014BPM 2023 International Workshops. Utrecht, The Netherlands:; September 11\u201315, 2023. p. 92\u2013104. https:\/\/doi.org\/10.1007\/978-3-031-50974-2_8.","DOI":"10.1007\/978-3-031-50974-2_8"},{"key":"3008_CR12","doi-asserted-by":"publisher","unstructured":"Reisig W. Petri nets: an introduction. EATCS monographs on theoretical computer science, vol. 4. 1985. https:\/\/doi.org\/10.1007\/978-3-642-69968-9.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"3008_CR13","doi-asserted-by":"publisher","unstructured":"Carmona J, van Dongen BF, Solti A, Weidlich M. Conformance checking\u2014relating processes and models. 2018. https:\/\/doi.org\/10.1007\/978-3-319-99414-7.","DOI":"10.1007\/978-3-319-99414-7"},{"issue":"5","key":"3008_CR14","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.solener.2003.12.003","volume":"76","author":"I Reda","year":"2004","unstructured":"Reda I, Andreas A. Solar position algorithm for solar radiation applications. Sol Energy. 2004;76(5):577\u201389. https:\/\/doi.org\/10.1016\/j.solener.2003.12.003.","journal-title":"Sol Energy"},{"issue":"29","key":"3008_CR15","doi-asserted-by":"publisher","first-page":"884","DOI":"10.5281\/zenodo.8368494","volume":"3","author":"WF Holmgren","year":"2018","unstructured":"Holmgren WF, Hansen CW, Mikofski MA. pvlib python: a python package for modeling solar energy systems. J Open Source Softw. 2018;3(29):884. https:\/\/doi.org\/10.5281\/zenodo.8368494.","journal-title":"J Open Source Softw"},{"key":"3008_CR16","doi-asserted-by":"publisher","unstructured":"van Dongen BF, Medeiros AKA, Verbeek HMW, Weijters AJMM, van der Aalst WMP. The prom framework: a new era in process mining tool support. In: Applications and theory of Petri nets. 2005. p. 444\u201354. https:\/\/doi.org\/10.1007\/11494744_25.","DOI":"10.1007\/11494744_25"},{"issue":"9","key":"3008_CR17","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst WMP, Weijters T, Maruster L. Workflow mining: discovering process models from event logs. IEEE Trans Knowl Data Eng. 2004;16(9):1128\u201342. https:\/\/doi.org\/10.1109\/TKDE.2004.47.","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"3008_CR18","doi-asserted-by":"publisher","unstructured":"Medeiros AKA, van Dongen BF, van der Aalst WMP, Weijters AJMM. Process mining for ubiquitous mobile systems: an overview and a concrete algorithm. In: Baresi L, Dustdar S, Gall HC, Matera M, editors. Ubiquitous mobile information and collaboration systems, second CAiSE workshop, UMICS 2004, Riga, Latvia, June 7\u20138, 2004, Revised Selected Papers. Lecture Notes in Computer Science, vol. 3272. 2004. p. 151\u201365. . https:\/\/doi.org\/10.1007\/978-3-540-30188-2_12.","DOI":"10.1007\/978-3-540-30188-2_12"},{"issue":"2","key":"3008_CR19","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/S10618-007-0065-Y","volume":"15","author":"L Wen","year":"2007","unstructured":"Wen L, van der Aalst WMP, Wang J, Sun J. Mining process models with non-free-choice constructs. Data Min Knowl Discov. 2007;15(2):145\u201380. https:\/\/doi.org\/10.1007\/S10618-007-0065-Y.","journal-title":"Data Min Knowl Discov"},{"issue":"10","key":"3008_CR20","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1016\/J.DATAK.2010.06.001","volume":"69","author":"L Wen","year":"2010","unstructured":"Wen L, Wang J, van der Aalst WMP, Huang B, Sun J. Mining process models with prime invisible tasks. Data Knowl Eng. 2010;69(10):999\u20131021. https:\/\/doi.org\/10.1016\/J.DATAK.2010.06.001.","journal-title":"Data Knowl Eng"},{"issue":"4","key":"3008_CR21","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht A, Rozenberg G. Partial (set) 2-structures. Part I: basic notions and the representation problem. Acta Inform. 1990;27(4):315\u201342. https:\/\/doi.org\/10.1007\/BF00264611.","journal-title":"Acta Inform"},{"issue":"4","key":"3008_CR22","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht A, Rozenberg G. Partial (set) 2-structures. Part II: state spaces of concurrent systems. Acta Inform. 1990;27(4):343\u201368. https:\/\/doi.org\/10.1007\/BF00264612.","journal-title":"Acta Inform"},{"issue":"1","key":"3008_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst WMP, Rubin VA, Verbeek HMW, van Dongen BF, Kindler E, G\u00fcnther CW. Process mining: a two-step approach to balance between underfitting and overfitting. Softw Syst Model. 2010;9(1):87\u2013111. https:\/\/doi.org\/10.1007\/s10270-008-0106-z.","journal-title":"Softw Syst Model"},{"issue":"8","key":"3008_CR24","doi-asserted-by":"publisher","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 for finite transition systems. IEEE Trans Comput. 1998;47(8):859\u201382. https:\/\/doi.org\/10.1109\/12.707587.","journal-title":"IEEE Trans Comput"},{"issue":"3\u20134","key":"3008_CR25","doi-asserted-by":"publisher","first-page":"343","DOI":"10.3233\/FI-2011-612","volume":"113","author":"M Sol\u00e9","year":"2011","unstructured":"Sol\u00e9 M, Carmona J. Light region-based techniques for process discovery. Fundam Inform. 2011;113(3\u20134):343\u201376. https:\/\/doi.org\/10.3233\/FI-2011-612.","journal-title":"Fundam Inform"},{"key":"3008_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-29072-5_10","volume":"5","author":"M Sol\u00e9","year":"2012","unstructured":"Sol\u00e9 M, Carmona J. Incremental process discovery. Trans Petri Nets Other Model Concurr. 2012;5:221\u201342. https:\/\/doi.org\/10.1007\/978-3-642-29072-5_10.","journal-title":"Trans Petri Nets Other Model Concurr"},{"issue":"1","key":"3008_CR27","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TKDE.2011.192","volume":"25","author":"M Sol\u00e9","year":"2013","unstructured":"Sol\u00e9 M, Carmona J. Region-based foldings in process discovery. IEEE Trans Knowl Data Eng. 2013;25(1):192\u2013205. https:\/\/doi.org\/10.1109\/TKDE.2011.192.","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"3008_CR28","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Fahland D, van der Aalst WMP. Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann N, Song M, Wohed P, editors. Business Process Management Workshop\u2014BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Lecture Notes in Business Information Processing, vol. 171. 2013. p. 66\u201378. https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6.","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"3008_CR29","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Fahland D, van der Aalst WMP. Discovering block-structured process models from event logs\u2014a constructive approach. In: Colom JM, Desel J, editors. Application and theory of Petri nets and concurrency\u201434th International Conference, PETRI NETS 2013, Milan, Italy, June 24\u201328, 2013. Proceedings. Lecture Notes in Computer Science, vol. 7927. 2013. p. 311\u201329. https:\/\/doi.org\/10.1007\/978-3-642-38697-8_17.","DOI":"10.1007\/978-3-642-38697-8_17"},{"key":"3008_CR30","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Poppe E, Wynn MT. Directly follows-based process mining: exploration & a case study. In: International Conference on Process Mining, ICPM 2019, Aachen, Germany, June 24\u201326, 2019, p. 25\u201332. https:\/\/doi.org\/10.1109\/ICPM.2019.00015.","DOI":"10.1109\/ICPM.2019.00015"},{"key":"3008_CR31","doi-asserted-by":"publisher","unstructured":"Adriansyah A, Sidorova N, van Dongen BF. Cost-based fitness in conformance checking. In: Caillaud B, Carmona J, Hiraishi K, editors. 11th international conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20\u201324 June, 2011. p. 57\u201366. https:\/\/doi.org\/10.1109\/ACSD.2011.19.","DOI":"10.1109\/ACSD.2011.19"},{"issue":"1","key":"3008_CR32","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 BF, van der Aalst WMP. Measuring precision of modeled behavior. Inf Syst E Bus Manag. 2015;13(1):37\u201367. https:\/\/doi.org\/10.1007\/s10257-014-0234-7.","journal-title":"Inf Syst E Bus Manag"},{"key":"3008_CR33","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843014400012","author":"JCAM Buijs","year":"2014","unstructured":"Buijs JCAM, van Dongen BF, van der Aalst WMP. Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int J Coop Inf Syst. 2014. https:\/\/doi.org\/10.1142\/S0218843014400012.","journal-title":"Int J Coop Inf Syst"},{"key":"3008_CR34","doi-asserted-by":"publisher","unstructured":"Weerdt JD, Backer MD, Vanthienen J, Baesens B. A critical evaluation study of model-log metrics in process discovery. In: Muehlen M, Su J, editors. Business Process Management Workshops\u2014BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13\u201315, 2010, Revised Selected Papers. Lecture Notes in Business Information Processing, vol. 66. 2010. p. 158\u201369. https:\/\/doi.org\/10.1007\/978-3-642-20511-8_14.","DOI":"10.1007\/978-3-642-20511-8_14"},{"issue":"4","key":"3008_CR35","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"HMW Verbeek","year":"2001","unstructured":"Verbeek HMW, Basten T, van der Aalst WMP. Diagnosing workflow processes using woflan. Comput J. 2001;44(4):246\u201379. https:\/\/doi.org\/10.1093\/comjnl\/44.4.246.","journal-title":"Comput J"},{"key":"3008_CR36","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.is.2015.07.003","volume":"56","author":"M Leoni","year":"2016","unstructured":"Leoni M, van der Aalst WMP, Dees M. A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs. Inf Syst. 2016;56:235\u201357. https:\/\/doi.org\/10.1016\/j.is.2015.07.003.","journal-title":"Inf Syst"},{"key":"3008_CR37","doi-asserted-by":"publisher","first-page":"100556","DOI":"10.1016\/j.simpa.2023.100556","volume":"17","author":"A Berti","year":"2023","unstructured":"Berti A, van Zelst S, Schuster D. Pm4py: a process mining library for python. Softw Impacts. 2023;17:100556. https:\/\/doi.org\/10.1016\/j.simpa.2023.100556.","journal-title":"Softw Impacts"},{"key":"3008_CR38","doi-asserted-by":"publisher","unstructured":"van Eck ML, Sidorova N, van der Aalst WMP. Discovering and exploring state-based models for multi-perspective processes. In: Rosa ML, Loos P, Pastor O, editors. Business Process Management\u201414th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18\u201322, 2016. Proceedings. Lecture Notes in Computer Science, vol. 9850. 2016. p. 142\u201357. https:\/\/doi.org\/10.1007\/978-3-319-45348-4_9.","DOI":"10.1007\/978-3-319-45348-4_9"},{"key":"3008_CR39","unstructured":"van Eck ML, Sidorova N, van der Aalst WMP. Composite state machine miner: discovering and exploring multi-perspective processes. In: Azevedo L, Cabanillas C, editors. Proceedings of the BPM Demo Track 2016 co-located with the 14th International Conference on Business Process Management (BPM 2016), Rio de Janeiro, Brazil, September 21, 2016. CEUR Workshop Proceedings, vol. 1789. 2016. p. 73\u20137. https:\/\/ceur-ws.org\/Vol-1789\/bpm-demo-2016-paper14.pdf."}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-024-03008-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-024-03008-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-024-03008-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T11:20:47Z","timestamp":1720610447000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-024-03008-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":39,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2024,8]]}},"alternative-id":["3008"],"URL":"https:\/\/doi.org\/10.1007\/s42979-024-03008-8","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"12 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Harry H. Beyel works on a project financed by Ford. Omar Makke and Oleg Gusikhin are Ford employees. Wil M. P. van der Aalst works part-time for Celonis.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}],"article-number":"706"}}