拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。 带不变量的时弧Petri网覆盖性和有界性的不确定性。 （英语） Zbl 1247.68186号 Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国兹诺伊莫举行的研讨会上的介绍选定的论文。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列130104-111，仅限电子版（2009年）。 摘要：时间弧Petri网（TAPN）是经典Petri网模型的一个经过深入研究的扩展，其中标记用代表其年龄的实数装饰。可达性对于TAPN来说是不可判定的，与可达性不同，有界性和覆盖性仍然是可判定的。该模型得到了一个名为TAPAAL的最新工具的支持，该工具使用位置不变量进一步扩展了TAPN，以便对紧急情况进行建模。这个扩展模型的有界性和覆盖性的可判定性尚未被考虑。我们将双计数器Minsky机简化为带不变量的TAPN，以表明有界性和覆盖性问题都是不可判定的。关于整个系列，请参见[Zbl 1247.68009号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：时弧Petri网;不可判定性;可覆盖性;有界性 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人，OASIcs--OpenAccess服务器。通知。13、104--111（2009；Zbl 1247.68186） 全文： 内政部