{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:56:03Z","timestamp":1777499763238,"version":"3.51.4"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031946332","type":"print"},{"value":"9783031946349","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-94634-9_11","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:29Z","timestamp":1749283169000},"page":"219-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Leveraging Petri Nets for\u00a0Workflow Anomaly Detection in\u00a0Microservice Architectures"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5658-4928","authenticated-orcid":false,"given":"Priyanka","family":"Kamboj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3656-1614","authenticated-orcid":false,"given":"Cyrille","family":"Artho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8069-6495","authenticated-orcid":false,"given":"Roberto","family":"Guanciale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0668-8526","authenticated-orcid":false,"given":"Reyhaneh","family":"Jabbarvand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2930-1982","authenticated-orcid":false,"given":"Brighten","family":"Godfrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"11_CR1","unstructured":"Docker (2024). https:\/\/www.docker.com\/"},{"key":"11_CR2","unstructured":"Jaeger (2024). https:\/\/www.jaegertracing.io\/"},{"key":"11_CR3","unstructured":"MediaMicroservice (2020). https:\/\/github.com\/delimitrou\/DeathStarBench\/tree\/master\/media Microservices"},{"key":"11_CR4","unstructured":"ProMtool (2024). https:\/\/promtools.org\/"},{"key":"11_CR5","unstructured":"SocialNetwork (2020). https:\/\/github.com\/delimitrou\/DeathStarBench\/tree\/master\/social Network"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102180","volume":"114","author":"S Agostinelli","year":"2023","unstructured":"Agostinelli, S., Chiariello, F., Maggi, F.M., Marrella, A., Patrizi, F.: Process mining meets model learning: discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114, 102180 (2023)","journal-title":"Inf. Syst."},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TKDE.2018.2841877","volume":"31","author":"A Augusto","year":"2019","unstructured":"Augusto, A., et al.: Automated discovery of process models from event logs: review and benchmark. IEEE Trans. Knowl. Data Eng. 31(4), 686\u2013705 (2019). https:\/\/doi.org\/10.1109\/TKDE.2018.2841877","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-98648-7_14","volume-title":"Business Process Management","author":"V Bloemen","year":"2018","unstructured":"Bloemen, V., van Zelst, S.J., van der Aalst, W., van Dongen, B.F., van de Pol, J.: Maximizing synchronization for aligning observed and modelled behaviour. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 233\u2013249. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_14"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Brito, M., Cunha, J., Saraiva, J.: Identification of microservices from monolithic applications through topic modelling. In: Proceedings of the $$36^{th}$$ Annual ACM Symposium on Applied Computing, pp. 1409\u20131418 (2021)","DOI":"10.1145\/3412841.3442016"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Camilli, M., Bellettini, C., Capra, L., Monga, M.: A formal framework for specifying and verifying microservices based process flows. In: Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, 4\u20135 September 2017, Revised Selected Papers 15, pp. 187\u2013202. Springer (2018)","DOI":"10.1007\/978-3-319-74781-1_14"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance checking. Switzerland: Springer.[Google Scholar] 56, 12 (2018)","DOI":"10.1007\/978-3-319-99414-7"},{"key":"11_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.122467","volume":"241","author":"J Casas-Ramos","year":"2024","unstructured":"Casas-Ramos, J., Mucientes, M., Lama, M.: Reach: researching efficient alignment-based conformance checking. Expert Syst. Appl. 241, 122467 (2024)","journal-title":"Expert Syst. Appl."},{"key":"11_CR13","unstructured":"Chow, M., Meisner, D., Flinn, J., Peek, D., Wenisch, T.F.: The mystery machine: end-to-end performance analysis of large-scale internet services. In: 11th USENIX Symposium on Operating Systems Design and Implementation, pp. 217\u2013231 (2014)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, pp. 1\u201310 (2019)","DOI":"10.1145\/3329007.3329014"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Gan, Y., et al.: An open-source benchmark suite for microservices and their hardware-software implications for cloud & edge systems. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 3\u201318 (2019)","DOI":"10.1145\/3297858.3304013"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Goulart\u00a0Rocha, E., van Zelst, S.J., van\u00a0der Aalst, W.M.: Mining behavioral patterns for conformance diagnostics. In: International Conference on Business Process Management, pp. 291\u2013308. Springer (2024)","DOI":"10.1007\/978-3-031-70396-6_17"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Grohs, M., van\u00a0der Aa, H., Rehse, J.R.: Beyond log and model moves in conformance checking: discovering process-level deviation patterns. In: International Conference on Business Process Management, pp. 381\u2013399. Springer (2024)","DOI":"10.1007\/978-3-031-70396-6_22"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M Hsueh","year":"1997","unstructured":"Hsueh, M., Tsai, T., Iyer, R.: Fault injection techniques and tools. IEEE Comput. 30(4), 75\u201382 (1997)","journal-title":"IEEE Comput."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Jia, T., Wu, Y., Hou, C., Li, Y.: Logflash: real-time streaming anomaly detection and diagnosis from system logs for large-scale software systems. In: 32nd International Symposium on Software Reliability Engineering (ISSRE), pp. 80\u201390. IEEE (2021)","DOI":"10.1109\/ISSRE52982.2021.00021"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Jia, T., Yang, L., Chen, P., Li, Y., Meng, F., Xu, J.: Logsed: anomaly diagnosis through mining time-weighted control flow graph in logs. In: 10th International Conference on Cloud Computing (CLOUD), pp. 447\u2013455. IEEE (2017)","DOI":"10.1109\/CLOUD.2017.64"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Karabey Aksakalli, I., \u00c7elik, T., Can, A.B., Tekinerdo\u011fan, B.: Deployment and communication patterns in microservice architectures: a systematic literature review. J. Syst. Softw. 180, 111014 (2021). https:\/\/doi.org\/10.1016\/j.jss.2021.111014","DOI":"10.1016\/j.jss.2021.111014"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Leemans, S.J., Fahland, D., Van Der\u00a0Aalst, W.M.: Discovering block-structured process models from event logs-a constructive approach. In: Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, 24\u201328 June 2013. Proceedings 34, pp. 311\u2013329. Springer (2013)","DOI":"10.1007\/978-3-642-38697-8_17"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1109\/TASE.2021.3049772","volume":"19","author":"C Liu","year":"2022","unstructured":"Liu, C., Zeng, Q., Cheng, L., Duan, H., Cheng, J.: Measuring similarity for data-aware business processes. IEEE Trans. Autom. Sci. Eng. 19(2), 1070\u20131082 (2022). https:\/\/doi.org\/10.1109\/TASE.2021.3049772","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"6","key":"11_CR24","doi-asserted-by":"publisher","DOI":"10.1111\/exsy.12924","volume":"39","author":"Z Liu","year":"2022","unstructured":"Liu, Z., Fan, G., Yu, H., Chen, L.: Modelling and analysing the reliability for microservice-based cloud application based on predicate petri net. Expert. Syst. 39(6), e12924 (2022)","journal-title":"Expert. Syst."},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Ma, S.P., Fan, C.Y., Chuang, Y., Lee, W.T., Lee, S.J., Hsueh, N.L.: Using service dependency graph to analyze and test microservices. In: 42nd Annual Computer Software and Applications Conference, vol.\u00a02, pp. 81\u201386. IEEE (2018)","DOI":"10.1109\/COMPSAC.2018.10207"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Mannel, L.L., van\u00a0der Aalst, W.M.: Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior. In: International Conference on Applications and Theory of Petri Nets and Concurrency, pp. 303\u2013324. Springer (2022)","DOI":"10.1007\/978-3-031-06653-5_16"},{"issue":"2","key":"11_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. (CSUR) 43(2), 1\u201329 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Otero, M., Garcia, J.M., Fernandez, P.: Towards a lightweight distributed telemetry for microservices. In: IEEE 44th International Conference on Distributed Computing Systems Workshops (ICDCSW), pp. 75\u201382 (2024). https:\/\/doi.org\/10.1109\/ICDCSW63686.2024.00018","DOI":"10.1109\/ICDCSW63686.2024.00018"},{"issue":"9","key":"11_CR29","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1109\/TSE.2015.2421279","volume":"41","author":"J Petke","year":"2015","unstructured":"Petke, J., Cohen, M.B., Harman, M., Yoo, S.: Practical combinatorial interaction testing: empirical findings on efficiency and early fault detection. IEEE Trans. Software Eng. 41(9), 901\u2013924 (2015)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"11_CR30","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.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"Samir, A., Pahl, C.: DLA: detecting and localizing anomalies in containerized microservice architectures using Markov models. In: 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud), pp. 205\u2013213 (2019). https:\/\/doi.org\/10.1109\/FiCloud.2019.00036","DOI":"10.1109\/FiCloud.2019.00036"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Th\u00f6nes, J.: Microservices. IEEE Softw. 32(1), 116 (2015)","DOI":"10.1109\/MS.2015.11"},{"issue":"2","key":"11_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2229156.2229157","volume":"3","author":"W Van Der Aalst","year":"2012","unstructured":"Van Der Aalst, W.: Process mining: overview and opportunities. ACM Trans. Manag. Inf. Syst. (TMIS) 3(2), 1\u201317 (2012)","journal-title":"ACM Trans. Manag. Inf. Syst. (TMIS)"},{"key":"11_CR34","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10844-007-0052-1","volume":"32","author":"L Wen","year":"2009","unstructured":"Wen, L., Wang, J., van der Aalst, W.M., Huang, B., Sun, J.: A novel approach for process mining based on event types. J. Intell. Inf. Syst. 32, 163\u2013190 (2009)","journal-title":"J. Intell. Inf. Syst."},{"key":"11_CR35","doi-asserted-by":"publisher","unstructured":"Xie, R., Wang, L., Song, C.: Towards minimum latency in cloud-native applications via service-characteristic- aware microservice deployment. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 35\u201346 (2024). https:\/\/doi.org\/10.1109\/SANER60148.2024.00010","DOI":"10.1109\/SANER60148.2024.00010"},{"key":"11_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1007\/978-3-030-91431-8_47","volume-title":"Service-Oriented Computing","author":"Y Xie","year":"2021","unstructured":"Xie, Y., Zhang, H., Zhang, B., Babar, M.A., Lu, S.: LogDP: combining dependency and proximity for log-based anomaly detection. In: Hacid, H., Kao, O., Mecella, M., Moha, N., Paik, H. (eds.) ICSOC 2021. LNCS, vol. 13121, pp. 708\u2013716. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91431-8_47"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Yoneyama, J., Artho, C., Tanabe, Y., Hagiya, M.: Model-based network fault injection for IoT protocols. In: Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering, (ENASE), Heraklion, Greece, pp. 201\u2013209 (2019)","DOI":"10.5220\/0007618102010209"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Yu, G., Chen, P., Li, Y., Chen, H., Li, X., Zheng, Z.: Nezha: interpretable fine-grained root causes analysis for microservices on multi-modal observability data. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 553\u2013565 (2023)","DOI":"10.1145\/3611643.3616249"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Zhang, Y., van\u00a0der Aalst, W.M.: Explorative process discovery using activity projections. In: International Conference on Applications and Theory of Petri Nets and Concurrency, pp. 229\u2013239. Springer (2023)","DOI":"10.1007\/978-3-031-33620-1_13"},{"key":"11_CR40","unstructured":"Zipkin: Zipkin. https:\/\/zipkin.io\/"}],"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-031-94634-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T08:03:57Z","timestamp":1749283437000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94634-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031946332","9783031946349"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94634-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 June 2025","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":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"46","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf-2025.petrinet.net","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}