Exploiting symmetries of high-level Petri games in distributed synthesis
| dc.contributor.author | Würdemann , Nick | |
| dc.date.accessioned | 2022-01-18T11:29:52Z | |
| dc.date.available | 2022-01-18T11:29:52Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Distributed Synthesis is the problem of automatically generating correct controllers for individual agents in a distributed system. Petri games model this problem by a game between two teams of players on a Petri net structure. Under some restrictions, Petri games can be solved by a reduction to a two player game. The concept of symmetries in Petri nets is closely related to high-level representations of Petri games. Applying symmetries to the states in the two-player game results in a significant state space reduction. We give an overview about (high-level) Petri games and the application of symmetries in this setting. We present ongoing work aiming to concisely describe solutions of Petri games by a high-level representation. | en |
| dc.identifier.doi | 10.1515/itit-2021-0012 | |
| dc.identifier.pissn | 2196-7032 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/37959 | |
| dc.language.iso | en | |
| dc.publisher | De Gruyter | |
| dc.relation.ispartof | it - Information Technology: Vol. 63, No. 4 | |
| dc.subject | Distributed Synthesis | |
| dc.subject | Symmetries | |
| dc.subject | Petri Games | |
| dc.subject | High-Level Petri Nets | |
| dc.title | Exploiting symmetries of high-level Petri games in distributed synthesis | en |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 331 | |
| gi.citation.publisherPlace | Berlin | |
| gi.citation.startPage | 321 |