I am a doctoral student in Theoretical Computer Science at the Carl von Ossietzky University Oldenburg.
Areas of Expertise
- Petri nets and high-level Petri nets
- Synthesis in distributed Systems, especially via Petri games
- Symbolic Petri net Unfoldings
- Concurrency
- Symmetries
Contact me: wuerdemann@informatik.uni-oldenburg.de
Publications
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets 2023: 123-144.
Authors: Nick Würdemann, Thomas Chatain, Stefan Haar.
Full Version on HAL
Avoid One’s Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF 2022: 178-193.
Authors: Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann.
Open Access
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. Petri Nets 2021: 95-117.
Authors: Manuel Gieseking, Nick Würdemann.
Full Version on arXiv
Video presentation
Resilience of Well-structured Graph Transformation Systems. GCM@STAF 2021: 69-88.
Authors: Okan Özkan, Nick Würdemann.
Open Access
Solving high-level Petri games. Acta Informatica 57(3-5): 591-626 (2020).
Authors: Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann.
Open Access
See also DBLP