1 Anguin,D.,Aspnes,J.,Diamadi,Z.,Fischer,M.J.,Peralta,R.:被动移动有限状态传感器网络中的计算。 收录于:Chaudhuri,S.,Kutten,S.(编辑)《第二十届ACM分布式计算原理研讨会论文集》,PODC 2004,加拿大纽芬兰圣约翰,2004年7月25日至28日,第290–299页。 ACM(2004)。 内政部: https://doi.org/10.1145/1011767.111810 谷歌学者 2 计数器和时钟系统参数推理的符号技术 计算机辅助验证 2000 海德堡 施普林格 419 434 10.1007/10722167_32 谷歌学者 三。 TReX:复杂系统可达性分析工具 计算机辅助验证 2001 海德堡 施普林格 368 372 10.1007/3-540-44585-4_34 谷歌学者 4 计数器自动机的FASTer加速 系统构建和分析的工具和算法 2004 海德堡 施普林格 576 590 10.1007/978-3-540-24730-2_42 1126.68452 谷歌学者 5 FAST:符号转换系统的快速加速 计算机辅助验证 2003 海德堡 施普林格 118 121 10.1007/978-3-540-45069-6_12 谷歌学者 6 FAST扩展版本 计算机辅助验证 2006 海德堡 施普林格 63 66 10.1007/11817963_9 谷歌学者 数字图书馆 7 符号模型检查中的平加速度 自动化验证和分析技术 2005 海德堡 施普林格 474 488 10.1007/11562948_35 谷歌学者 数字图书馆 8 Boigelot,B.:关于在可识别的整数集上迭代线性变换。 西奥。 计算。 科学。 309 (1–3), 413–468 (2003). 内政部: https://doi.org/10.1016/S0304-3975 (03)00314-1 谷歌学者 9 Boigelot,B.:特定领域的规则加速度。 国际期刊软件。 工具技术。 Transf公司。 14 (2), 193–206 (2012). 内政部: https://doi.org/10.1007/s10009-011-0206-x 谷歌学者 10 Boigelot,B.,Godefroid,P.:使用qdds对具有无限状态空间的通信协议进行符号验证。 形式化方法系统。 设计。 14 (3), 237–255 (1999). 内政部: https://doi.org/10.1023/A:1008719024240 谷歌学者 11 QDD的威力(扩展抽象) 静态分析 1997 海德堡 施普林格 172 186 2007年10月10日/BFb0032741 谷歌学者 12 混合加速度的功率 计算机辅助验证 2006 海德堡 施普林格 438 451 10.1007/11817963_40 谷歌学者 数字图书馆 13 仿射混合变换的加速 验证和分析自动化技术 2014 查姆 施普林格 31 46 10.1007/978-3-319-11936-6_4 谷歌学者 14 周期集的符号验证 计算机辅助验证 1994 海德堡 施普林格 55 67 10.1007/3-540-58179-0_43 谷歌学者 15 具有非规则配置集的FIFO信道系统的符号可达性分析 自动机、语言和编程 1997 海德堡 施普林格 560 570 10.1007/3-540-63165-8_211 谷歌学者 16 Bouajjani,A.,Habermehl,P.:具有非正则配置集的五通道系统的符号可达性分析。 西奥。 计算。 科学。 221 (1–2), 211–250 (1999). 内政部: https://doi.org/10.1016/S0304-3975 (99)00033-X 谷歌学者 17 在带有列表的平面程序上 验证、模型检查和抽象解释 2007 海德堡 施普林格 122 136 10.1007/978-3-540-69738-1_9 谷歌学者 18 平面参数计数器自动机 自动机、语言和程序设计 2006 海德堡 施普林格 577 588 10.1007/11787006_49 1134.68028 谷歌学者 数字图书馆 19 Bozga,M.,Iosif,R.,Lakhnech,Y.:平面参数计数器自动机。 芬丹。 信息学 91 (2), 275–303 (2009). 内政部: https://doi.org/10.3233/FI-2009-0044 谷歌学者 20 Czerwinñski,W.,Lasota,S.,Lazić,R.,Leroux,J.,Mazowiecki,F.:petri网的可达性问题不是基本的。 摘自:第51届ACM SIGACT计算机理论年会论文集,STOC 2019,美国亚利桑那州凤凰城,2019年6月23日至26日,第24-33页。 ACM(2019)。 内政部: https://doi.org/10.1145/3313276.3316369 谷歌学者 21 Czerwinski,W.,Lasota,S.,Lazic,R.,Leroux,J.,Mazowiecki,F.:具有状态的定维向量加法系统的可达性。 参见:Konnov,I.,Kovács,L.(eds.)第31届并行理论国际会议,CONCUR 2020,2020年9月1日至4日,奥地利维也纳(虚拟会议)。 LIPIcs,第171卷,第48:1–48:21页。 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik)(2020年)。 内政部: https://doi.org/10.4230/LIPIcs.CONCUR.2020.48 谷歌学者 22 Englert,M.,Hofman,P.,Lasota,S.,Lazic,R.,Leroux,J.,Straszynski,J.:非循环下推VAS中覆盖问题的下限。 信息处理。 莱特。 167 , 106079 (2021). 内政部: https://doi.org/10.1016/j.ipl.2020.106079 谷歌学者 23 Englert,M.,Lazic,R.,Totzke,P.:具有状态的二维一元向量加法系统的可达性是nl-完全的。 收录于:Grohe,M.,Koskinen,E.,Shankar,N.(编辑)《第31届ACM/IEEE计算机科学逻辑研讨会论文集》,2016年LICS,美国纽约州纽约市,2016年7月5日至8日,第477-484页。 ACM(2016)。 内政部: https://doi.org/10.1145/2933575.2933577 谷歌学者 24 petri网的可判定性问题综述 牛市。 欧洲协会。 计算。 科学。 1994 52 245 262 791.68123 谷歌学者 25 Esparza,J.、Ganty,P.、Leroux,J.和Majumdar,R.:人口方案验证。 摘自:Aceto,L.,de Frutos-Escrig,D.(eds.)第26届并行理论国际会议,CONCUR 2015,西班牙马德里,2015年9月1.4日。 LIPIcs,第42卷,第470-482页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik(2015)。 内政部: https://doi.org/10.4230/LIPIcs.CONCUR.2015.470 谷歌学者 26 如何合成preburger加速:广播协议的应用 FST TCS 2002:软件技术和理论计算机科学基础 2002 海德堡 施普林格 145 156 10.1007/3-540-36206-1_14 谷歌学者 27 通过编译成Presburger算法证明无限状态系统的安全性 CONCUR’97:并发理论 1997 海德堡 施普林格 213 227 10.1007/3-540-63141-0_15 谷歌学者 28 Hack,M.H.T.:Petri网的可判定性问题。 麻省理工学院博士论文(1975年)。 http://publications.csail.mit.edu/lcs/pubs/pdf/mit-lcs-TR-161.pdf 谷歌学者 29 Hauschildt,D.:可达集的半线性对于Petri网是可判定的。 汉堡大学博士论文(1990年) 谷歌学者 30 关于五维向量加法系统的可达性问题 西奥。 计算。 科学。 1979 8 135 159 526200 10.1016/0304-3975(79)90041-0 谷歌学者 交叉引用 31 并行程序示意图 J.计算。 系统。 科学。 1969 三 2 147 195 246720 10.1016/S0022-0000(69)80011-5 198.32603 谷歌学者 数字图书馆 32 Kosaraju,S.R.:向量加法系统可达性的判定(初步版本)。 收录于:STOC,第267-281页。 ACM(1982)。 内政部: https://doi.org/10.1145/800070.802201 谷歌学者 33 Kosaraju,S.R.,Sullivan,G.F.:在多项式时间内检测动态图中的循环(初步版本)。 Simon,J.(编辑)《第20届ACM计算机理论研讨会论文集》,1988年5月2-4日,美国伊利诺伊州芝加哥,第398-406页。 ACM(1988)。 内政部: https://doi.org/10.1145/62212.62251 谷歌学者 34 Petri网可达性的判定结构 西奥。 计算。 科学。 1992 99 1 79 104 1168011 10.1016/0304-3975(92)90173-D 769.68104 谷歌学者 数字图书馆 35 Leroux,J.:普雷斯伯格归纳不变量的一般向量加法系统可达性问题。 摘自:《计算机科学中的逻辑方法》,第6卷,第3期(2010年)。 内政部: https://doi.org/10.2168/LMCS-6 2010年3月22日 谷歌学者 36 Leroux,J.:向量加法系统可达性问题:一个简短的自包含证明。 收录于:POPL,第307-316页。 ACM(2011)。 内政部: https://doi.org/10.1145/1926385.1926421 谷歌学者 37 Leroux,J.:向量加法系统可达性问题(一个更简单的解决方案)。 In:图灵-100。 EPiC计算机系列,第10卷,第214-228页。 EasyChair(2012年)。 http://www.easychair.org/publications/paper/106497 谷歌学者 38 Leroux,J.:普雷斯伯格矢量加法系统。 在:第28届ACM/IEEE计算机科学逻辑年度研讨会,LICS 2013,美国洛杉矶新奥尔良,2013年6月25-28日,第23-32页。 IEEE计算机学会(2013)。 内政部: https://doi.org/10.109/LICS.2013.7 谷歌学者 39 Leroux,J.,Schmitz,S.:矢量加法系统中可达性的解密。 摘自:2015年7月6日至10日,日本京都,LICS,第30届ACM/IEEE计算机科学逻辑年会,第56–67页。 IEEE计算机学会(2015)。 内政部: https://doi.org/10.1109/LICS.2015.16 谷歌学者 40 Leroux,J.,Schmitz,S.:向量加法系统中的可达性是固定维上的基元递归。 摘自:第34届ACM/IEEE计算机科学逻辑年会,2019年LICS,加拿大不列颠哥伦比亚省温哥华,2019月24-27日,第1-13页。 IEEE(2019)。 内政部: https://doi.org/10.109/LICS.2019.8785796 谷歌学者 41 二维状态向量加法系统的平坦性 CONCUR 2004-并发理论 2004 海德堡 施普林格 402 416 10.1007/978-3-540-28644-8_26 谷歌学者 42 Leroux,J.,Sutre,G.:几乎到处都是平面计数器自动机! In:软件验证:无限状态模型检查和静态程序分析,19.02.- 24.02.2006. 达格斯图尔研讨会论文集,第06081卷。 Internationales Begegnungs-und Forschungszentrum fuer Informatik(IBFI),德国达格斯图尔宫(2006)。 http://drops.dagstuhl.de/opus/volltexte/2006/729 谷歌学者 43 Leroux,J.:当可达性满足grzegorczyk时。 摘自:Hermanns,H.,Zhang,L.,Kobayashi,N.,Miller,D.(编辑)LICS 2020:第35届ACM/IEEE计算机科学逻辑年会,德国萨尔布吕肯,2020年7月8-11日,第1-6页。 ACM(2020年)。 内政部: https://doi.org/10.1145/3373718.3394732 谷歌学者 44 Mayr,E.W.:一般petri网可达性问题的一种算法。 载:1981年5月11日至13日,美国威斯康星州密尔沃基,第13届ACM计算理论年度研讨会论文集,第238至246页。 ACM(1981)。 内政部: https://doi.org/10.1145/800076.802477 谷歌学者 45 一般Petri网可达性问题的一种算法 SIAM J.计算。 1984 13 三 441 460 749701 10.1137/0213029 563.68057 谷歌学者 交叉引用 46 petri网有限包含问题的复杂性 美国临床医学杂志 1981 28 三 561 576 624733 10.1145/322261.322271 462.68020 谷歌学者 数字图书馆 47 Petri网与大型有限集 西奥。 计算。 科学。 1984 32 173 183 761166 10.1016/0304-3975(84)90029-X 569.68046 谷歌学者 交叉引用 48 Sacerdote,G.S.,Tenney,R.L.:向量加法系统可达性问题的可判定性(初步版本)。 摘自:1977年5月4日至6日在美国科罗拉多州博尔德举行的第九届美国计算机学会计算机理论年会论文集,第61-76页。 ACM(1977年)。 内政部: https://doi.org/10.1145/800105.803396 谷歌学者 49 Schmitz,S.:向量加法系统可达性的复杂性。 SIGLOG新闻 三 (1), 4–21 (2016). https://dl.acm.org/citation.cfm?id=2893585 谷歌学者
建议
关于无限词上非确定性和无歧义Petri网的表达能力 Petri网与并发2020的应用与理论 我们证明了这一点 ω -(非确定性)Petri网和 ω -(不确定性)图灵机器的语言具有相同的拓扑复杂性: ω -(非确定性)Petri网的语言是相等的。。。