{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T09:52:22Z","timestamp":1782208342281,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T00:00:00Z","timestamp":1782172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100018699","name":"HORIZON EUROPE Digital, Industry and Space","doi-asserted-by":"publisher","award":["101091877"],"award-info":[{"award-number":["101091877"]}],"id":[{"id":"10.13039\/100018699","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,24]]},"DOI":"10.1145\/3806789.3810257","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T09:31:40Z","timestamp":1782207100000},"page":"177-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Frequency-Based Partitioning for Modular Validation of Stochastic Petri Net Digital Twin Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7351-709X","authenticated-orcid":false,"given":"Ashkan","family":"Zare","sequence":"first","affiliation":[{"name":"University of Southern Denmark, Odense, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6052-0863","authenticated-orcid":false,"given":"Sanja","family":"Lazarova-Molnar","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany and University of Southern Denmark, Odense, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,23]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_31"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/268826.268897"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Gabriele D\u2019Angelo. 2017. The simulation model partitioning problem: an adaptive solution based on self-clustering. Simulation Modelling Practice and Theory 70 (2017) 1\u201320.","DOI":"10.1016\/j.simpat.2016.10.001"},{"key":"e_1_3_3_1_6_2","first-page":"70","volume-title":"International Conference on Simulation Tools and Techniques","author":"Friederich Jonas","year":"2023","unstructured":"Jonas Friederich and Sanja Lazarova-Molnar. 2023. Pyspn: an extendable python library for modeling & simulation of stochastic Petri nets. In International Conference on Simulation Tools and Techniques. Springer, 70\u201378."},{"key":"e_1_3_3_1_7_2","unstructured":"Michael Grieves et\u00a0al. 2014. Digital twin: manufacturing excellence through virtual factory replication. White paper 1 2014 (2014) 1\u20137."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Jiaoyang He Yanxi Zhao Ping He Minglei Yu Yan Zhu Weixing Cao Xiaohu Zhang and Yongchao Tian. 2025. Rice Yield Prediction Based on Simulation Zone Partitioning and Dual-Variable Hierarchical Assimilation. Remote Sensing 17 3 (2025) 386.","DOI":"10.3390\/rs17030386"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC57314.2022.10015420"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ELMAR52657.2021.9550961"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459341"},{"key":"e_1_3_3_1_12_2","unstructured":"Sanja Lazarova-Molnar. 2005. The proxel-based method: Formalisation analysis and applications. Ph.\u00a0D. Dissertation. Otto-von-Guericke-Universit\u00e4t Magdeburg Universit\u00e4tsbibliothek."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Giovanni Lugaresi Sofia Gangemi Giulia Gazzoni and Andrea Matta. 2023. Online validation of digital twins for manufacturing systems. Computers in Industry 150 (2023) 103942.","DOI":"10.1016\/j.compind.2023.103942"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3589628"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Joost Mertens and Joachim Denil. 2025. Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems: J. Mertens J. Denil. Software and Systems Modeling 24 5 (2025) 1427\u20131449.","DOI":"10.1007\/s10270-024-01225-6"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.36"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Alessandro\u00a0Vittorio Papadopoulos and Alberto Leva. 2015. A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems. Multibody System Dynamics 34 2 (2015) 163\u2013190.","DOI":"10.1007\/s11044-014-9415-x"},{"key":"e_1_3_3_1_18_2","first-page":"281","volume-title":"Next Generation Information Processing System: Proceedings of ICCET 2020, Volume 2","author":"Patil Siddheshwar\u00a0V","year":"2020","unstructured":"Siddheshwar\u00a0V Patil and Dinesh\u00a0B Kulkarni. 2020. Graph partitioning using heuristic kernighan-lin algorithm for parallel computing. In Next Generation Information Processing System: Proceedings of ICCET 2020, Volume 2. Springer, 281\u2013288."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2007.6"},{"key":"e_1_3_3_1_20_2","unstructured":"Carl\u00a0Adam Petri. 1962. Kommunikation mit automaten. (1962)."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC48552.2020.9384052"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Stewart Schlesinger. 1979. Terminology for model credibility. Simulation 32 3 (1979) 103\u2013104.","DOI":"10.1177\/003754977903200304"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Wei Xiang Kan Yu Fengling Han Le Fang Dehua He and Qing-Long Han. 2023. Advanced manufacturing in industry 5.0: A survey of key enabling technologies and future trends. IEEE Transactions on Industrial Informatics 20 2 (2023) 1055\u20131068.","DOI":"10.1109\/TII.2023.3274224"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC63780.2024.10838952"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Ashkan Zare and Sanja Lazarova-Molnar. 2024. Validation of digital twins in labor-intensive manufacturing: Significance and challenges. Procedia Computer Science 238 (2024) 623\u2013630.","DOI":"10.1016\/j.procs.2024.06.070"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC68292.2025.11339112"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC65379.2025.11196463"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/278009.278027"}],"event":{"name":"SIGSIM-PADS '26: 40th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","location":"Vienna , Austria","acronym":"SIGSIM-PADS '26","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"]},"container-title":["Proceedings of the 40th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T09:32:11Z","timestamp":1782207131000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3806789.3810257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,23]]},"references-count":27,"alternative-id":["10.1145\/3806789.3810257","10.1145\/3806789"],"URL":"https:\/\/doi.org\/10.1145\/3806789.3810257","relation":{},"subject":[],"published":{"date-parts":[[2026,6,23]]},"assertion":[{"value":"2026-06-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}