×

3-图的WQO二分法。 (英语) Zbl 1496.68234号

摘要:我们研究了数据丰富的模型,如带数据的Petri网,其中转换的可执行性取决于所涉及的数据值之间的关系。此类模型中各种决策问题的可决策性状态可能取决于数据域的结构。根据WQO二分法猜想,如果一个数据域是齐次的,那么它要么表现出良好的拟序(在这种情况下,可判定性遵循标准参数),要么基本上所有的决策问题对于该数据域上的Petri网都是不可判定的。
我们确认了数据域为3图(具有2色边的图)的猜想。在技术层面上,这一结果是同构3图分类的重要一步,超越了同构结构的已知分类结果。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
03C98号 模型理论的应用
06A07年 偏序集的组合数学
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿卜杜拉,P.A。;Nylén,A.,《定时Petri网和BQO》,(ICATPN 2001(2001)Proc.),53-70·Zbl 0986.68092号
[2] 博扬奇克,M。;Braud,L。;Klin,B。;Lasota,S.,《走向名义计算》(Proc.POPL 2012(2012)),401-412·Zbl 1321.68139号
[3] 博扬奇克,M。;Klin,B。;Lasota,S.,标称集中的自动机理论,Log。方法计算。科学。,3, 4 (2014) ·Zbl 1338.68140号
[4] 博扬奇克,M。;Klin,B。;拉苏塔,S。;托伦奇克,S.,《带原子的图灵机器》(LICS 2013(2013)),183-192·Zbl 1367.68098号
[5] Cervesato,I。;北卡罗来纳州杜尔金。;林肯,P。;米切尔,J.C。;Scedrov,A.,协议分析的元符号,(Proc.CSFW 1999(1999)),55-69
[6] Cherlin,G.,可数齐次有向图和可数齐性n-竞赛图的分类,Mem。阿默尔。数学。Soc.,第621卷(1998年),美国。数学。Soc公司·Zbl 0978.03029号
[7] Cherlin,G.,《禁止的子结构和组合二分法:WQO和普适性》,《离散数学》。,311, 15, 1543-1584 (2011) ·Zbl 1223.05131号
[8] Delzanno,G.,《MSR(C)概述:基于clp的参数化并发系统符号验证框架》,Electron。理论注释。计算。科学。,76, 65-82 (2002)
[9] Delzanno,G.,约束多集重写(2005),DISI,热那亚大学,技术报告DISI-TR-05-08
[10] 丁,G.,子图与良好拟序,图论,16,5,489-502(1992)·Zbl 0762.05093号
[11] 芬克尔,A。;Schnoebelen,P.,到处都是结构良好的过渡系统!,西奥。计算。科学。,256, 1-2, 63-92 (2001) ·Zbl 0973.68170号
[12] 弗雷塞,R.,《关系理论》(1953),北荷兰人·Zbl 0593.04001号
[13] Genrich,H.J。;Lautenbach,K.,用高级Petri网进行系统建模,Theor。计算。科学。,13, 109-136 (1981) ·Zbl 0454.68052号
[14] 霍奇斯,W.,《较短模型理论》(1997),剑桥大学出版社·Zbl 0873.03036号
[15] 霍夫曼,P。;拉苏塔,S。;拉齐奇,R。;Leroux,J。;施密茨,S。;Totzke,P.,《无序数据Petri网的可覆盖树》(Proc.FOSSACS’16)。程序。FOSSACS’16,LNCS,第9634卷(2016),Springer-Verlag),445-461·Zbl 1475.68208号
[16] 雅各布森,L。;雅各布森,M。;莫勒,M.H。;Srba,J.,《时弧Petri网的验证》,(SOFSEM 2011(2011)Proc.),46-72·Zbl 1298.68175号
[17] 詹金森,T。;Truss,J。;Seidel,D.,可数齐次多部图,Eur.J.Comb。,33, 1, 82-109 (2012) ·Zbl 1230.05247号
[18] Jensen,K.,有色Petri网和不变量方法,Theor。计算。科学。,14, 317-336 (1981) ·Zbl 0475.68035号
[19] Korpelainen,北卡罗来纳州。;Lozin,V.,两个禁止诱导子图和阱拟序,离散数学。,311, 16, 1813-1822 (2011) ·兹比尔1223.05132
[20] 拉克伦,A。;Woodrow,R.E.,可数超齐次无向图,Trans。美国数学。Soc.,262,1,51-94(1980)·Zbl 0471.03025号
[21] Lasota,S.,《带数据的Petri网的可判定边界:WQO二分法猜想》(Proc.ICATPN 2016(2016)),20-36·Zbl 1346.68137号
[22] 拉苏塔,S。;Piórkowski,R.,3图的WQO二分法,(FOSSACS 2018(2018)Proc.),548-564·Zbl 1496.68233号
[23] 拉齐奇,R。;纽科姆,T.C。;Ouaknine,J。;罗斯科,A.W。;Worrell,J.,《使用携带数据的令牌的网络》(Proc.ICATPN 2007(2007)),301-320·Zbl 1226.68062号
[24] 拉齐奇,R。;Schmitz,S.,ν-Petri网可覆盖性的复杂性,(Proc.LICS 2016(2016)),467-476·Zbl 1392.68306号
[25] Macpherson,D.,均质结构调查,离散数学。,311, 15, 1599-1634 (2011) ·Zbl 1238.03032号
[26] Rosa-Velardo,F.,无序数据网的有序递归复杂性,Inf.Comput。,254, 41-58 (2017) ·Zbl 1370.68219号
[27] Rosa-Velardo,F。;de Frutos-Escrig,D.,无序数据Petri网的可判定性和复杂性,Theor。计算。科学。,412, 34, 4439-4451 (2011) ·Zbl 1231.68172号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。