{"id":"https://openalex.org/W7165672469","doi":"https://doi.org/10.1145/3806789.3810257","title":"Frequency-Based Partitioning for Modular Validation of Stochastic Petri Net Digital Twin Models","display_name":"Frequency-Based Partitioning for Modular Validation of Stochastic Petri Net Digital Twin Models","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165672469","doi":"https://doi.org/10.1145/3806789.3810257"},"language":null,"primary_location":{"id":"doi:10.1145/3806789.3810257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806789.3810257","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3806789.3810257","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109744074","display_name":"Ashkan Zare","orcid":"https://orcid.org/0000-0002-7351-709X"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ashkan Zare","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-7351-709X","affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062289442","display_name":"Sanja Lazarova\u2010Molnar","orcid":"https://orcid.org/0000-0002-6052-0863"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Sanja Lazarova-Molnar","raw_affiliation_strings":["Karlsruhe Institute of Technology, Karlsruhe, Germany and University of Southern Denmark, Odense, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-6052-0863","affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany and University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I177969490"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.81439206,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"177","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10763","display_name":"Digital Transformation in Industry","score":0.756600022315979,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10763","display_name":"Digital Transformation in Industry","score":0.756600022315979,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.15889999270439148,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.014600000344216824,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.694100022315979},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5964000225067139},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.564300000667572},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5468000173568726},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.49889999628067017},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.38040000200271606}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7445999979972839},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.694100022315979},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5964000225067139},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.564300000667572},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5468000173568726},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.49889999628067017},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4934000074863434},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.38040000200271606},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33219999074935913},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.32260000705718994},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.3212999999523163},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26759999990463257}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3806789.3810257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806789.3810257","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3806789.3810257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806789.3810257","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6686708331108093}],"awards":[{"id":"https://openalex.org/G7772574069","display_name":"Agile and modular cyber-physical technologies supported by data-driven digital tools to reinforce manufacturing resilience","funder_award_id":"101091877","funder_id":"https://openalex.org/F4320338444","funder_display_name":"HORIZON EUROPE Digital, Industry and Space"}],"funders":[{"id":"https://openalex.org/F4320338444","display_name":"HORIZON EUROPE Digital, Industry and Space","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1500350767","https://openalex.org/W1973492456","https://openalex.org/W1979620197","https://openalex.org/W1991350044","https://openalex.org/W1992096439","https://openalex.org/W2527773467","https://openalex.org/W3149994153","https://openalex.org/W3173803351","https://openalex.org/W3204679780","https://openalex.org/W4234444884","https://openalex.org/W4241531936","https://openalex.org/W4313728354","https://openalex.org/W4317815222","https://openalex.org/W4368408192","https://openalex.org/W4375928691","https://openalex.org/W4379046671","https://openalex.org/W4400421042","https://openalex.org/W4403490858","https://openalex.org/W4406612229","https://openalex.org/W4406761682","https://openalex.org/W4415257050","https://openalex.org/W7125602683"],"related_works":[],"abstract_inverted_index":{"As":[0,58],"technological":[1],"advancements":[2],"enable":[3],"the":[4,12,54,97,112,166,172,226],"manufacturing":[5,59,83,231],"industry\u2019s":[6],"adoption":[7],"of":[8,53,96,114,116,131,157,222],"cyber-physical":[9],"production":[10],"systems,":[11,84],"critical":[13],"need":[14],"for":[15,25,106,190],"Digital":[16,63,99,145,195],"Twins":[17,64],"has":[18],"also":[19],"become":[20,72],"more":[21],"apparent.":[22],"They":[23],"allow":[24],"optimization,":[26],"flexibility,":[27],"and":[28,61,70,91,150,170,209],"continuous":[29],"improvement":[30],"by":[31,204],"replicating":[32],"physical":[33],"systems":[34,60],"in":[35,66],"a":[36,50,92,132,138,159,186,229],"digital":[37],"environment.":[38],"However,":[39],"they":[40],"can":[41,238],"only":[42],"be":[43],"utilized":[44],"if":[45],"their":[46,62],"underlying":[47],"models":[48,101,147,197],"remain":[49],"valid":[51],"representation":[52],"corresponding":[55,98],"real-world":[56],"systems.":[57],"grow":[65],"complexity,":[67],"model":[68,167],"validation":[69,94,119,140,153,221],"decomposition":[71],"increasingly":[73],"challenging,":[74],"particularly":[75],"due":[76],"to":[77,104,124],"heterogeneous":[78,175,240],"system":[79,176,244],"dynamics.":[80],"In":[81,181],"complex":[82],"different":[85,89,117,129],"events":[86],"occur":[87],"at":[88],"rates,":[90],"uniform":[93],"approach":[95,189,214],"Twin":[100,146,196],"may":[102],"fail":[103],"account":[105],"these":[107],"dynamic":[108],"behaviors.":[109],"Depending":[110],"on":[111,164],"rate":[113],"occurrence":[115],"events,":[118],"mechanisms":[120],"must":[121],"decide":[122],"whether":[123,171],"preserve,":[125],"recalibrate,":[126],"or":[127],"re-extract":[128],"parts":[130],"model.":[133],"To":[134],"address":[135],"this":[136,182],"challenge,":[137],"modular":[139],"framework":[141],"was":[142],"introduced,":[143],"partitioning":[144,191,237],"into":[148],"sub-models":[149],"dynamically":[151],"adjusting":[152],"policies.":[154],"The":[155,213],"effectiveness":[156],"such":[158],"framework,":[160],"however,":[161],"critically":[162],"depends":[163],"how":[165],"is":[168],"partitioned":[169],"partitions":[173],"capture":[174,239],"behavior":[177],"while":[178,218,242],"preserving":[179,243],"dependencies.":[180],"paper,":[183],"we":[184],"present":[185],"data-driven,":[187],"behavior-based":[188],"stochastic":[192],"Petri":[193],"net":[194],"that":[198,235],"automatically":[199],"identifies":[200],"meaningful":[201],"partition":[202],"boundaries":[203],"analyzing":[205],"reachable":[206],"marking":[207],"patterns":[208],"transition":[210],"firing":[211],"frequencies.":[212],"preserves":[215],"inter-partition":[216],"dependencies":[217],"enabling":[219],"independent":[220],"sub-models.":[223],"We":[224],"demonstrate":[225],"method":[227],"through":[228],"reliability-focused":[230],"case":[232],"study,":[233],"showing":[234],"frequency-based":[236],"dynamics":[241],"behavior.":[245]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-06-24T00:00:00"}