摘要
Cerans，K.，Jonsson，B.，Tsay，Y.-K.：具有良好拟序域的程序的算法分析。 Inf.计算。 1601---2, 109---127 2000 谷歌学者 
数字图书馆 
Blondin，M.，Finkel，A.，Haase，C.，Haddad，S.：2015年持续应对可覆盖性问题。 一氧化碳回收率，绝对值/150.05724 谷歌学者 Bozzelli，L.，Ganty，P.：VASS向后覆盖算法的复杂性分析。 摘自：Delzanno，G.，Potapov，I.eds.RP 2011。 LNCS，第6945卷，第96---109页。 施普林格，海德堡，2011 谷歌学者 数字图书馆 Cardoza，E.，Lipton，R.J.，Meyer，A.R.：Petri网的指数空间完备问题，交换半群：初步报告。 摘自：计算机理论研讨会，STOC，第50-54页，1976年 谷歌学者 数字图书馆 David，R.，Alla，H.：连续Petri网。 摘自：第八届欧洲Petri网应用与理论研讨会论文集，第275--294页，1987年 谷歌学者 de Moura，L.，BjØrner，N.S.:Z3：高效SMT求解器。 收录人：Ramakrishnan，C.R.，Rehof，J.eds.TACAS 2008。 LNCS，第4963卷，第337--340页。 施普林格，海德堡2008 谷歌学者 数字图书馆 Delzanno，G.，Raskin，J.-F.，Van Begin，L.：攻击象征性的国家爆炸。 收录：Berry，G.，Comon，H.，Finkel，A.编辑，CAV 2001。 LNCS，第2102卷，第298页。 斯普林格，海德堡，2001 谷歌学者 数字图书馆 Delzanno，G.，Raskin，J.-F.，Van Begin，L.：覆盖共享树：用于参数化验证的紧凑数据结构。 STTT 52---3，268--297 2004年 谷歌学者 数字图书馆 D’Osualdo，E.，Kochems，J.，Ong，C.-H.L.：erlang-style并发的自动验证。 摘自：Logozzo，F.，Fähndrich，M.eds.静态分析。 LNCS，第7935卷，第454--476页。 施普林格，海德堡，2013 谷歌学者 交叉引用 
Esparza，J.、Ledesma-Garza，R.、Majumdar，R.，Meyer，P.、Niksic，F.：基于SMT的可覆盖性分析方法。 收录人：Biere，A.，Bloem，R.eds.CAV 2014。 LNCS，第8559卷，第603--619页。 斯普林格，海德堡2014 谷歌学者 数字图书馆 Esparza，J.，Melzer，S.：使用整数规划验证安全特性：超越状态方程。 正式方法。 系统。 设计。 162, 159---189 2000 谷歌学者 数字图书馆 Finkel，A.，Raskin，J.-F.，Samuelides，M.，Van Begin，L.：Petri网的单调扩展：回顾了向前和向后搜索。 选举人。 注释Theor。 计算。 科学。 686, 85---106 2002 谷歌学者 Finkel，A.，Schnoebelen，P.：到处都是结构良好的过渡系统！。 西奥。 计算。 科学。 2561---2，63---92 2001年 谷歌学者 数字图书馆 Fraca，E.，Haddad，S.：连续Petri网的复杂性分析。 芬丹。 Informaticae 1371，1--28 2015 谷歌学者 数字图书馆 Ganty，P.：在法语中，对intervalles上的约束进行操作的算法和结构的有效性。 2002年比利时布鲁塞尔自由大学硕士论文 谷歌学者 Ganty，P.、Meuter，C.、Delzanno，G.、Kalyon，G.，Raskin，J.-F.、Van Begin，L.：$$k$$-对集的符号数据结构。 比利时布鲁塞尔自由大学2007年技术报告570 谷歌学者 Geeraerts，G.，Raskin，J.-F.，Van Begin，L.：扩展、放大和检查：WSTS覆盖性问题的新算法。 J.计算。 系统。 科学。 721, 180---203 2006 谷歌学者 数字图书馆 Geeraerts，G.，Raskin，J.-F.，Van Begin，L.：关于petri网最小覆盖集的有效计算。 发现的国际期刊。 计算。 科学。 212, 135---165 2010 谷歌学者 交叉引用 German，S.M.，Prasad Sistla，A.：关于具有多个过程的系统的推理。 J.ACM 393、675---735 1992年 谷歌学者 数字图书馆 Kaiser，A.，Kroening，D.，Wahl，T.：多线程程序验证的扩展方法。 ACM事务处理。 程序。 语言系统。 364，2014年1月29日 谷歌学者 数字图书馆 Karp，R.M.，Miller，R.E.：并行程序模式：并行计算的数学模型。 《交换与自动机理论》，第55-61页。 IEEE计算机学会1967 谷歌学者 数字图书馆 Kloos，J.、Majumdar，R.、Niksic，F.、Piskac，R.：增量归纳覆盖率。 收件人：Sharygina，N.，Veith，H.eds.CAV 2013。 LNCS，第8044卷，第158---173页。 施普林格，海德堡，2013 谷歌学者 Leroux，J.，Schmitz，S.：矢量加法系统中可达性的解密。 摘自：《计算机科学中的逻辑》，LICS，第56-67页。 IEEE 2015 谷歌学者 数字图书馆 Rackoff，C.：向量加法系统的覆盖和有界问题。 西奥。 计算。 科学。 6, 223---231 1978 谷歌学者 交叉引用 Reynier，P.-A，Servais，F.：petri网的最小覆盖集：带剪枝的karp和miller算法。 芬丹。 通知。 1221---2, 1---30 2013 谷歌学者 数字图书馆 Sontag，E.D.：实加法和多项式层次。 信息处理。 莱特。 203, 115---120 1985 谷歌学者 交叉引用 Valmari，A.，Hansen，H.：最小可覆盖性集的新旧算法。 芬丹。 通知。 1311, 1---25 2014 谷歌学者 数字图书馆 Verma，K.N.，Seidl，H.，Schwentick，T.：关于等号从句的复杂性。 在：Nieuwenhuis，R.编辑，CADE 2005。 LNCS LNAI，第3632卷，第337--352页。 斯普林格，海德堡2005 谷歌学者 数字图书馆
建议
SAT-解决Petri网的可覆盖性问题 网络展开作为一种在模型检测中对抗状态空间爆炸的强大技术，引起了人们的广泛关注，并已应用于有限状态系统的验证，包括1-安全（有限）Petri网和同步乘积。。。 递归Petri网的可覆盖性和终止性 Petri网和并发的应用与理论 摘要 早在2000年，递归Petri网就被引入，以便对需要计数器和递归性的多智能体系统的分布式规划进行建模。 虽然递归Petri网严格地扩展了Petri网和。。。 递归Petri网中的覆盖性、终止性和有限性 2019年Petri网和并发的应用和理论 早在2000年，递归Petri网就被引入，以便对需要计数器和递归性的多智能体系统的分布式规划进行建模。 虽然递归Petri网严格扩展了Petri网和上下文。。。
