最好的，艾克;埃罗菲耶夫·叶夫根尼;乌里·施拉赫特;哈罗·威梅尔 描述Petri网可解二进制字的特征。 （英语） Zbl 1346.68127号 Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，39-58（2016）。 摘要：如果一个词与未标记Petri网的可达图同构，则称其为Petri网可解。本文研究了有限的两字母Petri网可解词类。线性时间，必要条件允许有根据地猜测哪些单词是可解的，哪些是不可解的。可以基于字母计数建立一个时间复杂度为\（O（n^2）\）的完整决策过程。该过程是完全有建设性的，可以生成一个求解给定单词的Petri网，也可以确定这一过程失败的原因。基于反映潜在Petri网结构的整数不等式系统解决同一问题的算法仅已知位于\（O（n^3）\）中。最后，决策过程可以从有限词调整为循环词。关于整个系列，请参见[Zbl 1337.68013号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：二进制字;标记过渡系统;Petri网;合成 软件：github;恰当的 PDF格式BibTeX公司 XML格式引用 \textit｛E.Best｝等人，Lect。注释计算。科学。9698，39-58（2016；Zbl 1346.68127） 全文： 内政部 OA许可证 参考文献： [1] 爱沙尼亚巴杜埃尔。，Bernardinello，L.，Darondeau，P.：Petri Net Synthesis，339 P.Springer，Heidelberg（2015）。国际标准图书编号978-3-662-47966-7·Zbl 1351.68003号 ·doi:10.1007/978-3-662-47967-4 [2] Barylska，K.，Best，E.，Erofeev，E.，Mikulski，Ł。，Piątkowski，M.：关于二进制字是Petri网可解的。收录于：Carmona，J.、Bergenthum，R.、van der Aalst，W.（编辑）《2015年澳大利亚教育与发展会议记录》，第1-15页（2015年）。网址：http://ceur-ws.org/Vol1371 ·Zbl 1366.68199号 [3] Best，E.，Devillers，R.：有界无选择Petri网的合成。载于：Aceto，L.，Frutos Escrig，D.（编辑）《第26届并行理论国际会议论文集》（CONCUR 2015），LIPICS，Schloss Dagstuhl-Leibniz Zentrum für Informatik，Dagstull，pp.128-141（2015）。doi:10.4230/LIPIcs。合同2015.128·Zbl 1374.68319号 [4] 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）·Zbl 1362.68200号 ·doi:10.1007/978-3-319-04921-2_13 [5] 凯劳德，B.：http://www.irisa.fr/s4/tools/synet/ [6] Khachiyan，L.：《精选作品》，莫斯科数学继续教育中心，ISBN 978-5-94057-509-2519页（2009年）。（俄语） [7] Murata，T.：Petri网：特性、分析和应用。程序。IEEE 77（4），541–580（1989年）·数字对象标识代码：10.1109/5.24143 [8] Landweber，L.H.，Robertson，E.L.：无冲突和持久Petri网的特性。J.ACM 25（3），352–364（1978）·Zbl 0384.68062号 ·数字对象标识代码：10.1145/322077.322079 [9] Reisig，W.：《理解Petri网：建模技术、分析方法、案例研究》，211 p.Springer，海德堡（2013）。国际标准图书编号978-3-642-33278-4·Zbl 1278.68222号 ·数字对象标识代码：10.1007/978-3-642-33278-4 [10] Schlachter，U.等人：（2013）。https://github.com/CvO-Theory/apt 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。