I obtained my doctoral degree 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 Synthesis of Distributed Systems via Petri Games to High Level, Symbolically.
PhD Thesis, Universität Oldenburg (2024).
Open Access
Taking Complete Finite Prefixes to High Level, Symbolically.
To appear in Fundamenta Informaticae (2024).
Authors: Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke.
Open Access
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