摘要
E.Cardoza、R.J.Lipton和A.R.Meyer，“Petri网和交换半群的指数空间完备问题：初步报告” 程序。 计算机理论研讨会 ACM，1976年，第50-54页。 谷歌学者 
数字图书馆 
J.Leroux和S.Schmitz，“矢量加法系统中可达性的解密”，in 程序。 计算机科学中的逻辑 IEEE计算机学会，2015年，第56-67页。 谷歌学者 数字图书馆 C.Haase和S.Halfon，“带状态的整数向量加法系统”，in 程序。 可达性问题，RP ，序列号。 莱克特。 票据构成。 科学。， 第8762卷。 施普林格，2014年，第112-124页。 谷歌学者 交叉引用 
R.David和H.Alla，“连续Petri网”，in 程序。 Petri网的应用与理论 1987年，第275-294页。 谷歌学者 R.David， 离散、连续和混合Petri网 《施普林格科学与商业媒体》，2010年。 谷歌学者 数字图书馆 E.Fraca和S.Haddad，“连续Petri网的复杂性分析” 芬丹。 通知 2015年，第137卷，第1期，第1-28页。 谷歌学者 数字图书馆 M.Blondin、A.Finkel、C.Haase和S.Haddad，《持续解决可覆盖性问题》 程序。 系统构建和分析的工具和算法 ，序列号。 莱克特。 票据构成。 科学。， 第9636卷。 施普林格，2016年，第480-496页。 谷歌学者 数字图书馆 J.E.Hopcroft和J.Pansiot，“关于5维向量加法系统的可达性问题” 西奥。 计算。 科学 第8卷，第135-159页，1979年。 谷歌学者 交叉引用 T.Geffroy、J.Leroux和G.Sutre，“Occam剃刀应用于Petri网覆盖问题” 程序。 可达性问题，RP ，序列号。 莱克特。 票据构成。 科学。， 第9899卷。 Springer，2016年，第77-89页。 谷歌学者 交叉引用 P.A.Abdulla、K.Cerans、B.Jonsson和Y.Tsay，《无限状态系统的一般可判定性定理》 程序。 计算机科学中的逻辑 ， 低收入国家 IEEE计算机学会，1996年，第313--321页。 谷歌学者 数字图书馆 J.Esparza、R.Ledesma-Garza、R.Majumdar、P.J.Meyer和F.Niksic，《基于SMT的覆盖性分析方法》 程序。 计算机辅助验证 ，序列号。 莱克特。 票据构成。 科学。， 第8559卷。 施普林格，2014年，第603至619页。 谷歌学者 数字图书馆 K.Athanasiou、P.Liu和T.Wahl，“使用线程状态方程进行无边界线程程序验证”，in 自动推理 ，序列号。 莱克特。 票据构成。 科学。， 第9706卷。 施普林格，2016年，第516--531页。 谷歌学者 数字图书馆 E.D.Sontag，“实加法和多项式层次结构” 通知。 过程。 莱特 1985年，第20卷，第3期，第115-120页。 谷歌学者 交叉引用 R.Greenlaw、H.J.Hoover和W.L.Ruzzo， 并行计算的局限性：P-完备性理论 牛津大学出版社，1995年。 谷歌学者 数字图书馆 L.G.Khachiyan，“线性规划中的多项式算法” Doklady Akademii Nauk SSSR公司 第244卷，第1093-1096页，1979年。 谷歌学者 C.Papadimitriou和K.Steiglitz， 组合优化：算法和复杂性 多佛出版社，1982年。 谷歌学者 数字图书馆 P.Jonsson和C.Bäckström，“时间约束推理的统一方法” Artif公司。 智能 1998年，第102卷，第1期，第143-155页。 谷歌学者 数字图书馆 M.Koubarakis，“线性约束的可牵引析取：基本结果及其在时间推理中的应用” 西奥。 计算。 科学 2001年，第266卷，第1-2期，第311-339页。 谷歌学者 数字图书馆 M.Bodirsky、P.Jonsson和T.von Oertzen，“半代数约束的本质凸性和复杂性” 日志。 方法。 计算。 科学 ，第8卷，第4期，2012年。 谷歌学者 K.N.Verma、H.Seidl和T.Schwentick，“关于等式Horn子句的复杂性” 程序。 自动扣除-CADE 第3632卷。 斯普林格，2005年，第337-352页。 谷歌学者 数字图书馆 F.Drewes和J.Leroux，“结构循环Petri网” 日志。 方法。 计算。 科学 ，第11卷，第4期，2015年。 谷歌学者 R.Alur、A.Trivedi和D.Wojtczak，《恒速多模系统的最优调度》 程序。 混合系统：计算与控制 美国机械工程师协会，2012年，第75-84页。 谷歌学者 数字图书馆 M.Heymann、F.Lin、G.Meyer和S.Resmerita，“一类混合系统中Zeno行为的分析” IEEE传输。 自动化。 控制 2005年，第50卷，第3期，第376-383页。 谷歌学者 交叉引用 F.Laroussinie、N.Markey和P.Schnoebelen，“一个或两个时钟的模型检查时间自动机”，in 程序。 并发理论 ，序列号。 莱克特。 票据构成。 科学。， 第3170卷。 施普林格，2004年，第387--401页。 谷歌学者 交叉引用 M.L.明斯基， 计算：有限和无限机器 普伦蒂斯·霍尔，1967年。 谷歌学者 数字图书馆 P.Jeavons和J.Petke，“局部一致性和SAT解决方案” J.阿蒂夫。 智力。 雷斯 2012年，第43卷，第329-351页。 谷歌学者 数字图书馆 S.Le Roux、A.Pauly和J.-F.Raskin，《闵可夫斯基游戏》 程序。 计算机科学理论专题讨论会 ，第66卷。 Dagstuhl-Leibniz-Zentrum für Informatik宫，2017年，第50:1-50:13页。 谷歌学者
建议
时间Petri网与时间流Petri网的非等价性 1999年PNPM：第八届Petri网和性能模型国际研讨会会议记录 梅林的时间Petri网是时间流Petri网的特例。 在本文中，我们证明了这两个模型之间不存在时间等价性。 我们首先将这一结果推广到时间自动机的不等价性，并证明了它的有效性。。。
