{"id":"https://openalex.org/W4400019126","doi":"https://doi.org/10.1007/s11334-024-00570-5","title":"Distributed Petri nets for model-driven verifiable robotic applications in ROS","display_name":"Distributed Petri nets for model-driven verifiable robotic applications in ROS","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W4400019126","doi":"https://doi.org/10.1007/s11334-024-00570-5"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-024-00570-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00570-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00570-5.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"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":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00570-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102781467","display_name":"Sebastian Ebert","orcid":"https://orcid.org/0000-0001-6504-9233"},"institutions":[{"id":"https://openalex.org/I4405267400","display_name":"Centre for Tactile Internet with Human-in-the-Loop","ror":"https://ror.org/02kfbaj13","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4405267400","https://openalex.org/I78650965"]},{"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":"Sebastian Ebert","raw_affiliation_strings":["Centre for Tactile Internet with Human-in-the-Loop (CeTI), Dresden, Germany","Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6504-9233","affiliations":[{"raw_affiliation_string":"Centre for Tactile Internet with Human-in-the-Loop (CeTI), Dresden, Germany","institution_ids":["https://openalex.org/I4405267400"]},{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049396683","display_name":"Johannes Mey","orcid":"https://orcid.org/0000-0001-5778-4019"},"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":"Johannes Mey","raw_affiliation_strings":["6G-life, Dresden, Germany","Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5778-4019","affiliations":[{"raw_affiliation_string":"6G-life, Dresden, Germany","institution_ids":[]},{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055737825","display_name":"Ren\u00e9 Sch\u00f6ne","orcid":"https://orcid.org/0000-0002-3247-0264"},"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":"Ren\u00e9 Sch\u00f6ne","raw_affiliation_strings":["6G-life, Dresden, Germany","Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3247-0264","affiliations":[{"raw_affiliation_string":"6G-life, Dresden, Germany","institution_ids":[]},{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001242911","display_name":"Sebastian G\u00f6tz","orcid":"https://orcid.org/0000-0003-1537-7815"},"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":"Sebastian G\u00f6tz","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1537-7815","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068504342","display_name":"Uwe A\u00dfmann","orcid":"https://orcid.org/0000-0002-3513-6448"},"institutions":[{"id":"https://openalex.org/I4405267400","display_name":"Centre for Tactile Internet with Human-in-the-Loop","ror":"https://ror.org/02kfbaj13","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4405267400","https://openalex.org/I78650965"]},{"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":"Uwe A\u00dfmann","raw_affiliation_strings":["6G-life, Dresden, Germany","Centre for Tactile Internet with Human-in-the-Loop (CeTI), Dresden, Germany","Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3513-6448","affiliations":[{"raw_affiliation_string":"6G-life, Dresden, Germany","institution_ids":[]},{"raw_affiliation_string":"Centre for Tactile Internet with Human-in-the-Loop (CeTI), Dresden, Germany","institution_ids":["https://openalex.org/I4405267400"]},{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Chair of Software Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102781467"],"corresponding_institution_ids":["https://openalex.org/I4405267400","https://openalex.org/I78650965"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":{"value":2790,"currency":"USD","value_usd":2790},"fwci":2.0509,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.87839255,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"20","issue":"4","first_page":"531","last_page":"557"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6214040517807007},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48609185218811035},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25261539220809937}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6214040517807007},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48609185218811035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25261539220809937}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11334-024-00570-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00570-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00570-5.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"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":"Innovations in Systems and Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11334-024-00570-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00570-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00570-5.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"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":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321613","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400019126.pdf"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1483872283","https://openalex.org/W1523777177","https://openalex.org/W1903679624","https://openalex.org/W1962072139","https://openalex.org/W2000823825","https://openalex.org/W2023037746","https://openalex.org/W2097225256","https://openalex.org/W2104910381","https://openalex.org/W2118300983","https://openalex.org/W2133680996","https://openalex.org/W2157413872","https://openalex.org/W2158721284","https://openalex.org/W2295288655","https://openalex.org/W2296013812","https://openalex.org/W2463888377","https://openalex.org/W2466879797","https://openalex.org/W2547384132","https://openalex.org/W2621036245","https://openalex.org/W2801777594","https://openalex.org/W2811472820","https://openalex.org/W2892315808","https://openalex.org/W2909087563","https://openalex.org/W2910268170","https://openalex.org/W2910806988","https://openalex.org/W2914234795","https://openalex.org/W2943602910","https://openalex.org/W2973204678","https://openalex.org/W3090755713","https://openalex.org/W3120230227","https://openalex.org/W3207812204","https://openalex.org/W4238198829","https://openalex.org/W4249538237","https://openalex.org/W4251377221","https://openalex.org/W4288108192","https://openalex.org/W4306834884","https://openalex.org/W4307280320","https://openalex.org/W4312435716","https://openalex.org/W4383172012","https://openalex.org/W4390117312"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W1538101305"],"abstract_inverted_index":{"Abstract":[0],"Verifying":[1],"industrial":[2,170],"robotic":[3,37,171],"systems":[4,11],"is":[5],"a":[6,96,165],"complex":[7],"task":[8],"because":[9,123],"those":[10],"are":[12],"distributed":[13],"and":[14,69,106,129,157,173,179,187],"solely":[15],"defined":[16],"by":[17],"their":[18],"implementation":[19],"instead":[20],"of":[21,23,33,53,71,79,92,102,109,116,126,178],"models":[22],"the":[24,41,60,66,72,103,107,114,124,176],"system":[25,105,111],"to":[26,64,139],"be":[27,140,185],"verified.":[28,188],"Some":[29],"technologies":[30],"mitigate":[31],"parts":[32,112],"this":[34],"problem,":[35],"e.g.,":[36],"middleware":[38],"such":[39,49],"as":[40,50],"Robotic":[42],"Operating":[43],"System":[44],"(ROS)":[45],"or":[46],"concrete":[47],"solutions":[48],"automata-based":[51],"specification":[52,125],"robot":[54],"behavior.":[55],"However,":[56],"they":[57],"all":[58],"lack":[59],"required":[61],"modeling":[62,98],"depth":[63],"describe":[65],"structure,":[67],"behavior,":[68],"communication":[70,180],"system.":[73],"We":[74,142,160],"introduce":[75],"an":[76],"improved":[77,153],"version":[78],"our":[80,144,154,162],"previous":[81,145],"model-driven":[82],"approach":[83,146,163],"based":[84],"on":[85],"Petri":[86],"nets,":[87],"integrating":[88],"these":[89],"three":[90],"aspects":[91],"ROS-based":[93],"systems.":[94],"Using":[95],"formal":[97],"language":[99],"enables":[100],"verification":[101],"described":[104,186],"generation":[108],"complete":[110],"in":[113,164],"form":[115],"ROS":[117,182],"nodes.":[118],"This":[119],"reduces":[120],"testing":[121],"effort":[122],"component":[127],"workflows":[128],"interfaces":[130],"remains":[131],"formally":[132],"proven,":[133],"while":[134],"only":[135],"changed":[136],"implementations":[137],"have":[138],"revalidated.":[141],"extended":[143],"with":[147],"novel":[148],"model":[149],"transformations,":[150],"which":[151],"considerably":[152],"approach\u2019s":[155],"performance":[156],"memory":[158],"requirements.":[159],"evaluate":[161],"case":[166],"study":[167],"involving":[168],"multiple":[169],"arms":[172],"show":[174],"that":[175],"structure":[177],"between":[181],"nodes":[183],"can":[184]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":4}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}