{"id":"https://openalex.org/W4411064116","doi":"https://doi.org/10.1145/3736704","title":"Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation","display_name":"Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation","publication_year":2025,"publication_date":"2025-06-05","ids":{"openalex":"https://openalex.org/W4411064116","doi":"https://doi.org/10.1145/3736704"},"language":"en","primary_location":{"id":"doi:10.1145/3736704","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736704","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3736704","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029420272","display_name":"Dominik Grzelak","orcid":"https://orcid.org/0000-0001-6334-2356"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dominik Grzelak","raw_affiliation_strings":["Chair of Software Technology, Technische Universit\u00e4t Dresden","Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6334-2356","affiliations":[{"raw_affiliation_string":"Chair of Software Technology, Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005264127","display_name":"M. Hamann","orcid":"https://orcid.org/0009-0004-8346-1749"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Hamann","raw_affiliation_strings":["Chair of Software Technology, Technische Universit\u00e4t Dresden","Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden Germany"],"raw_orcid":"https://orcid.org/0009-0004-8346-1749","affiliations":[{"raw_affiliation_string":"Chair of Software Technology, Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029420272"],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":1.8704,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.84271689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"38","issue":"1","first_page":"1","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/rewriting","display_name":"Rewriting","score":0.8509799242019653},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7362868785858154},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6741491556167603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5182597637176514},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.423589825630188},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.4197629392147064},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4003642201423645},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3821355998516083}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8509799242019653},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7362868785858154},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6741491556167603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5182597637176514},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.423589825630188},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.4197629392147064},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4003642201423645},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3821355998516083}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3736704","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736704","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3736704","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736704","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1375572575","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W203609956","https://openalex.org/W1512007370","https://openalex.org/W1524127482","https://openalex.org/W1575953544","https://openalex.org/W1587421378","https://openalex.org/W1588422495","https://openalex.org/W1594645261","https://openalex.org/W1625183863","https://openalex.org/W1665726835","https://openalex.org/W1969001723","https://openalex.org/W1976248891","https://openalex.org/W1976396930","https://openalex.org/W2029954071","https://openalex.org/W2049318064","https://openalex.org/W2084135842","https://openalex.org/W2108383522","https://openalex.org/W2111038497","https://openalex.org/W2112097795","https://openalex.org/W2127455123","https://openalex.org/W2130876928","https://openalex.org/W2131255145","https://openalex.org/W2158422857","https://openalex.org/W2296278022","https://openalex.org/W2340390498","https://openalex.org/W2417489454","https://openalex.org/W2460834910","https://openalex.org/W2464760650","https://openalex.org/W2556540294","https://openalex.org/W2557660475","https://openalex.org/W2619273670","https://openalex.org/W2786360878","https://openalex.org/W2889376928","https://openalex.org/W2912058352","https://openalex.org/W2913410574","https://openalex.org/W3038119689","https://openalex.org/W3123618603","https://openalex.org/W3145726178","https://openalex.org/W3158143516","https://openalex.org/W3183517265","https://openalex.org/W3189241198","https://openalex.org/W4205177566","https://openalex.org/W4205916380","https://openalex.org/W4206077132","https://openalex.org/W4210262431","https://openalex.org/W4254966498","https://openalex.org/W4287448684","https://openalex.org/W4379165173","https://openalex.org/W4387842657","https://openalex.org/W4399525268","https://openalex.org/W4400187490"],"related_works":["https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W2504157767","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2475418661","https://openalex.org/W1504820687","https://openalex.org/W2491573813","https://openalex.org/W2154047167"],"abstract_inverted_index":{"Bigraphs":[0],"provide":[1],"a":[2,75,102,106,150],"versatile":[3],"modeling":[4],"framework":[5],"by":[6,65],"combining":[7],"spatial":[8],"and":[9,25,50,105,122,143],"connectivity":[10],"relationships,":[11],"making":[12],"them":[13],"valuable":[14],"in":[15,53,95],"graph":[16,68,84],"transformations,":[17,19],"model":[18],"the":[20,26,59,67,96,117,140],"design":[21],"of":[22,28,61,119],"programming":[23],"languages,":[24],"simulation":[27],"reactive":[29],"systems.":[30],"However,":[31],"practical":[32],"approaches":[33],"to":[34,78,125,152],"bigraph":[35,63,89],"rewriting":[36,64],"often":[37],"rely":[38],"on":[39],"constraint":[40],"satisfaction":[41],"or":[42],"SAT-solving":[43],"techniques,":[44],"which":[45,100],"can":[46],"be":[47],"computationally":[48],"intensive":[49],"limit":[51],"usability":[52],"large-scale":[54],"applications.":[55],"This":[56],"article":[57],"addresses":[58],"challenge":[60],"efficient":[62],"leveraging":[66],"transformation":[69,85],"engine":[70],"GrGen.NET":[71],".":[72],"We":[73],"propose":[74],"novel":[76],"approach":[77,121],"translate":[79],"bigraphical":[80],"rules":[81,134],"into":[82],"SPO-based":[83],"rules,":[86],"enabling":[87],"fast":[88],"rewriting.":[90],"Our":[91],"solution":[92],"is":[93],"implemented":[94,132],"tool":[97],"BiGGer":[98],",":[99],"includes":[101],"command-line":[103],"interface":[104],"Java":[107],"library":[108],"for":[109],"seamless":[110],"integration.":[111],"Through":[112],"experimental":[113],"evaluation,":[114],"we":[115,131],"demonstrate":[116],"correctness":[118],"our":[120],"its":[123],"ability":[124],"significantly":[126],"improve":[127],"execution":[128],"efficiency.":[129],"Additionally,":[130],"tracking":[133],"that":[135,154],"maintain":[136],"semantic":[137],"fidelity":[138],"during":[139],"translation":[141],"process":[142],"enable":[144],"identity":[145],"tracing":[146],"across":[147],"reactions,":[148],"adding":[149],"feature":[151],"bigraphs":[153],"extends":[155],"their":[156],"applicability":[157],"beyond":[158],"static":[159],"analysis.":[160]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}