×
特雷杜普，罗尼

合成（b）-有界（（m，n）-T系统的参数化复杂性。 （英语） Zbl 1440.68179号

Chatzigeorgiou，Alexander（编辑）等人，SOFSEM 2020：计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 223-235 (2020).
小结：设（b\in\mathbb{N}^+\）。纯（b）-有界（（m，n）-T-系统（简称（m，n）-综合）的综合在于确定是否存在过渡系统（A）的输入（A，m，n的位置最多有个传入转换，最多有个传出转换。如果决策是肯定的，则应构造“N”。已知该问题为NP-完全问题，XP中的（（m，n）-由（m+n）参数化的合成[R.特雷杜普，莱克特。注释计算。科学。11674, 202–217 (2019;Zbl 1441.68147号)]. 在本文中，我们从参数化复杂性的角度加深了对（m，n）-综合的理解，表明当用（m+n）参数化时，它是W[1]-难的。
关于整个系列，请参见[Zbl 1435.68022号].

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68年第27季度 参数化复杂性、可处理性和核化

引文：

Zbl 1441.68147号

软件：

恰当的
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}，莱克特。注释计算。科学。12011、223--235（2020；Zbl 1440.68179）
全文： 内政部

参考文献：

[1] Badouel，E.，Bernardinello，L.，Darondeau，P.：有界网综合的多项式算法。作者：Mosses，P.D.，Nielsen，M.，Schwartzbach，M.I.（编辑）CAAP 1995。LNCS，第915卷，第364-378页。斯普林格，海德堡（1995）。https://doi.org/10.1007/3-540-59293-8_207 ·Zbl 1496.68212号 ·doi:10.1007/3-540-59293-8_207
[2] Badouel，E.，Bernardinello，L.，Darondeau，P.：基本网络系统的综合问题是NP-完全的。西奥。计算。科学。186（1-2）、107-134（1997）中所述。https://doi.org/10.1016/S0304-3975(96)00219-8 ·Zbl 0893.68111号 ·doi:107-134&publication_year=1997&doi=10.1016/S0304-3975（96）00219-8
[3] Badouel，E.，Bernardinello，L.，Darondeau，P.：Petri网综合。TTCSAES公司。斯普林格，海德堡（2015）。https://doi.org/10.1007/978-3-662-47967-4 ·Zbl 1351.68003号 ·doi:10.1007/978-3-662-47967-4
[4] Badouel，E.，Darondeau，P.：从路径自动规范合成petri网。Inf.计算。193(2), 117-135 (2004). https://doi.org/10.1016/j.ic.2004.04.004 ·Zbl 1101.68691号 ·doi:10.1016/j.ic.2004.04.004
[5] Best，E.，Devillers，R.：活性和有界标记图petri网状态空间的特征。收录：Dediu，A.-H.，Martín-Vide，C.，Sierra-Rodríguez，J.-L.，Truthe，B.（编辑）LATA 2014。LNCS，第8370卷，第161-172页。查姆施普林格（2014）。https://doi.org/10.1007/978-3-319-04921-2_13 ·Zbl 1362.68200号 ·doi:10.1007/978-3-319-04921-2_13
[6] Best，E.，Devillers，R.R.：T系统的状态空间公理。《信息学报》52（2-3），133-152（2015）。https://doi.org/10.1007/s00236-015-0219-0 ·Zbl 1317.68129号 ·doi:10.1007/s00236-015-0219-0
[7] Best，E.，Devillers，R.R.：有界无选择petri网的合成。输入：CONCUR。LIPIcs，第42卷，第128-141页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2015年）。https://doi.org/10.4230/LIPIcs.CONCUR.2015.128 ·Zbl 1374.68319号 ·doi:10.4230/LIPIcs。合同2015.128
[8] Cygan，M.等人：参数化算法。查姆施普林格（2015）。https://doi.org/10.1007/978-3-319-21275-3 ·Zbl 1334.90001号 ·doi:10.1007/978-3-319-21275-3
[9] Darondeau，P.：无界petri网综合。收录人：Desel，J.、Reisig，W.、Rozenberg，G.（编辑）ACPN 2003。LNCS，第3098卷，第413-438页。斯普林格，海德堡（2004）。https://doi.org/10.1007/978-3-540-27755-2_11 ·Zbl 1088.68123号 ·doi:10.1007/978-3-540-27755-2_11
[10] Devillers，R.，Hujsa，T.：加权标记图petri网的分析与合成。收录人：Khomenko，V.，Roux，O.H.（编辑）PETRI NETS 2018。LNCS，第10877卷，第19-39页。查姆施普林格（2018）。https://doi.org/10.1007/978-3-319-91268-4_2 ·兹比尔1427.68191 ·doi:10.1007/978-3-319-91268-42
[11] Schlachter，U.：模态转换系统的有界petri网合成是不可判定的。In：混凝土。LIPIcs，第59卷，第15:1-15:14页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2016年）。https://doi.org/10.4230/LIPIcs.CONCUR.2016.15 ·Zbl 1392.68315号 ·doi:10.4230/LIPIcs。合同2016.15
[12] Schlachter，U.，Wimmel，H.：基于模态转换系统的k有界petri网合成。输入：CONCUR。LIPIcs，第85卷，第6:1-6:15页。达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2017年）。https://doi.org/10.4230/LIPIcs.CONCUR.2017.6 ·Zbl 1442.68151号 ·doi:10.4230/LIPIcs。合同2017.6
[13] Tredup，R.：合成b-有界petri网的硬度结果。收录：Donatelli，S.，Haar，S.（编辑）PETRI NETS 2019。LNCS，第11522卷，第127-147页。查姆施普林格（2019）。https://doi.org/10.1007/978-3-030-21571-2_9 ·Zbl 1441.68147号 ·doi:10.1007/978-3-030-21571-29
[14] Tredup，R.：结构受限的b有界petri网的合成：复杂性结果。收录：Filiot，E.，Jungers，R.，Potapov，I.（编辑）RP 2019。LNCS，第11674卷，第202-217页。查姆施普林格（2019）。https://doi.org/10.1007/978-3-030-30806-3_16 ·Zbl 1441.68147号 ·doi:10.1007/978-3-030-30806-3-16
[15] Tredup，R.，Rosenke，C.：缩小合成基本网络系统的硬屏障。输入：CONCUR。LIPIcs，第118卷，第16:1-16:15页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2018年）。https://doi.org/10.4230/LIPIcs.CONCUR.2018年16月 ·兹比尔1520.68100 ·doi:10.4230/LIPIcs。合同2018.16
[16] 特雷杜普，R·兹比尔1427.68211 ·doi:10.1007/978-3-319-91268-43
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。