埃罗菲耶夫·叶夫根尼；卡米拉·巴里尔斯卡；乌卡斯·米库尔斯基；马钦·皮·特考夫斯基 生成所有最小Petri网不可解二进制字。 （英语） Zbl 1434.68244号 离散应用程序。数学。 274, 35-53 (2020). 摘要：有限单词集和一些无限单词集可以用有限系统来描述，例如自动机。另一方面，一些自动机可以使用更紧凑的系统来构建，如Petri网。我们称这种自动机Petri网为可解的。在本文中，我们考虑了二进制字母表（即二进制单词）上单例语言的可解性。如果（w）的每一个适当因子都是可解的，那么一个不可解（即不可解）字\（w）就称为极小值。我们给出了所有最小不可解二进制单词集的完整语言理论特征。特征化利用基于形态的转换，揭示这些单词的组合结构，并允许引入无法解决的模式匹配条件。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68兰特 单词组合学 关键词：二进制字；标记过渡系统；Petri网；合成 PDF格式BibTeX公司 XML格式引用 \textit{E.Erofeev}等人，《离散应用》。数学。274、35-53（2020年；Zbl 1434.68244） 全文： 内政部 参考文献： [1] 巴杜埃尔，E。；Bernardinello，L。；Darondeau博士，Petri Net Synthesis（2009年），Springer [2] Barylska，K。；贝斯特，E。；埃罗菲耶夫，E。；米库尔斯基。；Piątkowski，M.，Petri网可解二进制字的条件，（T Petri网和其他并发模型，第11卷（2016）），137-159·Zbl 1366.68199号 [3] E.Best，E.Erofeev，U.Schlachter，H.Wimmel，《描述Petri网可解二进制字》，摘自：Proc。ATPN，2016年·Zbl 1346.68127号 [4] Caillaud，B.（2002） [5] Cámpeanu，C。；萨洛马，K。；Yu，S.，实用正则表达式的正式研究，国际。J.发现计算。科学。，6, 13 (2003) ·Zbl 1101.68443号 [6] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L。；Stein，C.，《算法导论》（2009），麻省理工学院出版社·Zbl 1187.68679号 [7] 克罗西莫尔，M。；伊利·L。；Rytter，W.，《字符串中的重复：算法和组合学》，理论。计算。科学。，410, 50 (2009) ·Zbl 1180.68206号 [8] Droste，M。；Short，R.M.，《从Petri网到并发自动机》，应用。类别。结构，10，2（2002）·Zbl 1002.68099号 [9] E.Erofeev，K.Barylska，Ł。Mikulski，M.Pińtkowski，《生成所有最小Petri网不可解二进制字》，载于：《第20届布拉格字符串学会议论文集》，2016年·Zbl 1366.68199号 [10] Piątkowski，M.（2015） [11] Reisig，W.，《理解Petri网——建模技术、分析方法、案例研究》（2013年），施普林格出版社·Zbl 1278.68222号 [12] Schlachter，U.（2013年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。