research
∙
07/06/2022
Semilinear Home-space is Decidable for Petri Nets
A set of configurations 𝐇 is an home-space for a set of configurations 𝐗...
share
research
∙
12/31/2021
Structural Liveness of Immediate Observation Petri Nets
We show that the structural liveness problem for immediate observation n...
research
∙
08/26/2020
Countdown games, and simulation on (succinct) one-counter nets
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (L...
research
∙
01/22/2019
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete
Checking whether two pushdown automata with restricted silent actions ar...
research
∙
12/09/2018
Equivalence of pushdown automata via first-order grammars
A decidability proof for bisimulation equivalence of first-order grammar...
research
∙
01/03/2018
EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets
We note that the remarkable EXPSPACE-hardness result in [Göller, Haase, ...
research
∙
11/16/2017