5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LO2023
Taking Complete Finite Prefixes To High Level, Symbolically
Nick Würdemann, Thomas Chatain, Stefan Haar +1
Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-call…
cs.GT2021
Canonical Representations for Direct Generation of Strategies in High-level Petri Games
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis of distributed systems with multiple concurrent processes based on Petri nets. The processes are the players in the game…
cs.SE2021★ 5 cited
Resilience of Well-structured Graph Transformation Systems
Okan Özkan, Nick Würdemann
Resilience is a concept of rising interest in computer science and software engineering. For systems in which correctness w.r.t. a safety condition is unachievable, fast recovery i…