Solving high-level Petri games. - Manuel Gieseking; Ernst-Rüdiger Olderog; Nick Würdemann (Acta Informatica, 2020)

Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. - Manuel Gieseking; Nick Würdemann (Petri Nets, 2021)

Correction to: Solving high-level Petri games. - Manuel Gieseking; Ernst-Rüdiger Olderog; Nick Würdemann (Acta Informatica, 2021)

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version). - Manuel Gieseking; Nick Würdemann (CoRR, 2021)

Resilience of Well-structured Graph Transformation Systems. - Okan Özkan; Nick Würdemann (GCM@STAF, 2021)

Exploiting symmetries of high-level Petri games in distributed synthesis. - Nick Würdemann (it Inf. Technol., 2021)

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (GandALF, 2022)

Taking Complete Finite Prefixes to High Level, Symbolically. - Nick Würdemann; Thomas Chatain; Stefan Haar (Petri Nets, 2023)

Attractor Basins in Concurrent Systems. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (CoRR, 2024)

Taking Complete Finite Prefixes To High Level, Symbolically. - Nick Würdemann; Thomas Chatain; Stefan Haar; Lukas Panneke (Fundam. Informaticae, 2024)

Taking Synthesis of Distributed Systems via Petri Games to High Level, Symbolically. - Nick Würdemann (2024)