C.杜福尔德。;芬克尔，A。;Schnoebelen博士。 在可判定性和不可判定性之间重置网络。 （英语） 兹比尔0909.68124 Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 103-115 (1998). 摘要：我们结合基本Petri网模型的其他扩展，研究了具有重置弧（也包括转移弧和加倍弧）的Petri网。虽然可达性在所有这些扩展中都是不可判定的（实际上它们是图灵强大的），但我们在终止性、可覆盖性、有界性和位置边界的可判定性方面展现了意想不到的边界。特别是，我们在看似相关的问题之间显示了反直觉的分离。我们的主要定理是一个非常令人惊讶的事实，即对于具有重置弧的Petri网，有界性是不可判定的。关于整个系列，请参见[Zbl 0893.00039号]. 引用于1审查引用于63文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：Petri网;重置圆弧 PDF格式BibTeX公司 XML格式引用 \textit{C.Dufourd}等人，Lect。注释计算。科学。1443、103--115（1998年；Zbl 0909.68124）