# Patrick Totzke

## Decidability of Weak Simulation on One-Counter Nets

We show that weak simulation preorder is decidable for OCN and that weak simulation approximants do not converge at level $$\omega$$, but only at $$\omega^2$$. In contrast, other semantic relations like weak bisimulation are undecidable for OCN, and so are weak (and strong) trace inclusion.