Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Decidability of Weak Simulation on One-counter Nets
Authors: Piotr Hofman ; Richard Mayr ; Patrick Totzke
Date:Apr 2013
Publication Title:LICS 2013
Publication Type:Conference Paper Publication Status:Pre-print
One-counter nets (OCN) are Petri nets with exactly one unbounded place. They are equivalent to a subclass of one-counter automata with only a weak test for zero. 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.
Links To Paper
1st Link
Bibtex format
author = { Piotr Hofman and Richard Mayr and Patrick Totzke },
title = {Decidability of Weak Simulation on One-counter Nets},
book title = {LICS 2013},
year = 2013,
month = {Apr},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh