@Article{         HofmanMayrTotzke,
  Author        = "Hofman, Piotr and Mayr, Richard and Totzke, Patrick",
  Abstract      = "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.",
  date-added    = "2013-07-09 13:09:13 +0000",
  date-modified = "2013-07-09 13:09:13 +0000",
  EPrint        = "1304.4104",
  Month         = "04",
  Title         = "Decidability of Weak Simulation on One-counter Nets",
  URL           = "http://arxiv.org/abs/1304.4104",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1304.4104",
  File          = "Decidability of Weak Simulation on One-counter Nets - Hofman, Mayr, Totzke (0) (0) - a - a - l.pdf"
}

@Article{ HofmanMayrTotzke, Author = "Hofman, Piotr and Mayr, Richard and Totzke, Patrick", Abstract = "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.", date-added = "2013-07-09 13:09:13 +0000", date-modified = "2013-07-09 13:09:13 +0000", EPrint = "1304.4104", Month = "04", Title = "Decidability of Weak Simulation on One-counter Nets", URL = "http://arxiv.org/abs/1304.4104", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1304.4104", File = "Decidability of Weak Simulation on One-counter Nets - Hofman, Mayr, Totzke (0) (0) - a - a - l.pdf" }