{"id":"https://openalex.org/W4400646556","doi":"https://doi.org/10.1109/iv55156.2024.10588380","title":"Using Petri Nets as an Integrated Constraint Mechanism for Reinforcement Learning Tasks","display_name":"Using Petri Nets as an Integrated Constraint Mechanism for Reinforcement Learning Tasks","publication_year":2024,"publication_date":"2024-06-02","ids":{"openalex":"https://openalex.org/W4400646556","doi":"https://doi.org/10.1109/iv55156.2024.10588380"},"language":"en","primary_location":{"id":"doi:10.1109/iv55156.2024.10588380","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iv55156.2024.10588380","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063236096","display_name":"Timon Sachweh","orcid":"https://orcid.org/0000-0002-0347-5760"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Timon Sachweh","raw_affiliation_strings":["TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052886233","display_name":"Pierre Haritz","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pierre Haritz","raw_affiliation_strings":["TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027191588","display_name":"Thomas Liebig","orcid":"https://orcid.org/0000-0002-9841-1101"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Liebig","raw_affiliation_strings":["TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1686","last_page":"1692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9009000062942505,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9009000062942505,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.8232485055923462},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7688513398170471},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7584415674209595},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.6666243672370911},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5523680448532104},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.43571722507476807},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40850189328193665},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34776291251182556},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.320518434047699},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11486423015594482}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.8232485055923462},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688513398170471},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7584415674209595},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.6666243672370911},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5523680448532104},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.43571722507476807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40850189328193665},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34776291251182556},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.320518434047699},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11486423015594482},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iv55156.2024.10588380","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iv55156.2024.10588380","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W116194267","https://openalex.org/W1845972764","https://openalex.org/W1986760892","https://openalex.org/W1996109622","https://openalex.org/W2074500080","https://openalex.org/W2081897040","https://openalex.org/W2145191352","https://openalex.org/W2309510604","https://openalex.org/W2480177474","https://openalex.org/W2548134372","https://openalex.org/W2903709398","https://openalex.org/W2959879502","https://openalex.org/W2963575966","https://openalex.org/W3008389987","https://openalex.org/W3085121432","https://openalex.org/W3087845791","https://openalex.org/W3204939383","https://openalex.org/W4226449706","https://openalex.org/W4281480521","https://openalex.org/W4298857966","https://openalex.org/W4321020553","https://openalex.org/W6637967152","https://openalex.org/W6729224713","https://openalex.org/W6743563064","https://openalex.org/W6780559895","https://openalex.org/W6783084392","https://openalex.org/W6838701874","https://openalex.org/W6910546390"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111","https://openalex.org/W2064254377"],"abstract_inverted_index":{"The":[0],"lack":[1,34],"of":[2,35,37,66],"trust":[3],"in":[4,18],"algorithms":[5],"is":[6],"usually":[7],"an":[8,79],"issue":[9],"when":[10],"using":[11],"Reinforcement":[12],"Learning":[13],"(RL)":[14],"agents":[15],"for":[16,50,122],"control":[17,157],"real-world":[19],"domains":[20],"such":[21,42,142],"as":[22,55,70,143],"production":[23],"plants,":[24],"autonomous":[25],"vehicles,":[26],"or":[27,52],"traffic-related":[28],"infrastructure,":[29],"partly":[30],"due":[31],"to":[32,63],"the":[33,38,93,126],"verifiability":[36],"model":[39,144],"itself.":[40],"In":[41,61],"scenarios,":[43],"Petri":[44],"nets":[45],"(PNs)":[46],"are":[47,57],"often":[48],"available":[49],"flowcharts":[51],"process":[53],"steps,":[54],"they":[56],"versatile":[58],"and":[59,69,109,159],"standardized.":[60],"order":[62],"facilitate":[64],"integration":[65],"RL":[67,90],"models":[68],"a":[71,101,114,151],"step":[72],"towards":[73],"increasing":[74],"AI":[75],"trustworthiness,":[76],"we":[77,118,132],"propose":[78],"approach":[80,149],"that":[81],"uses":[82],"PNs":[83],"with":[84,100],"three":[85],"main":[86],"advantages":[87],"over":[88],"typical":[89,152],"approaches:":[91],"Firstly,":[92],"agent":[94],"can":[95,119,133],"now":[96],"easily":[97],"be":[98],"modeled":[99],"combined":[102],"state":[103,111],"including":[104],"both":[105],"external":[106],"environmental":[107],"observations":[108],"agent-specific":[110],"information":[112],"from":[113],"given":[115],"PN.":[116],"Secondly,":[117],"enforce":[120],"constraints":[121],"state-dependent":[123],"actions":[124],"through":[125,140],"inherent":[127],"PN":[128,138],"model.":[129],"And":[130],"lastly,":[131],"increase":[134],"trustworthiness":[135],"by":[136],"verifying":[137],"properties":[139],"techniques":[141],"checking.":[145],"We":[146],"test":[147],"our":[148,161],"on":[150],"four-way":[153],"intersection":[154],"traffic":[155],"light":[156],"setting":[158],"present":[160],"results,":[162],"beating":[163],"cycle-based":[164],"baselines.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}
