一元计数器网的模拟是PSPACE-完全的
摘要：一计数器网 (OCN) 是带有正好一个无界位置的Petri网。 它们等同于一计数器自动机的一个子类，只是对零进行了弱测试。 与许多其他语义等价性不同，强模拟和弱模拟预序对OCN是可判定的，但计算复杂性一直是一个悬而未决的问题。我们表明，OCN上的强模拟和弱模拟预序都是PSPACE-完备的。
作者：Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
论文ID：1310.6303
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-10-24