最好的，艾克;雷蒙德·魔鬼队;乌里·施拉赫特 状态分离的图形理论特征。 （英语） Zbl 1444.68112号 Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 163-175 (2017). 摘要：由Ehrenfeucht和Rozenberg提出的区域理论允许表征一类Petri网可合成的有限标记过渡系统。区域是过渡系统的子结构，有两种类型：一种解决事件/状态分离问题，另一种解决状态分离问题。线性不等式组可用于检查这些分离问题的可解性。在本论文中，所有状态分离问题都是可解的有限标记转移系统类应以图形理论而非线性代数的方式进行表征。关于整个系列，请参见[Zbl 1355.68020号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：循环行为;标记过渡系统;持久化系统;系统综合 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人，Lect。注释计算。科学。10139，163--175（2017；Zbl 1444.68112） 全文： 内政部 参考文献： [1] 爱沙尼亚巴杜埃尔。，Bernardinello，L.，Darondeau，P.：Petri网综合。理论计算机科学课文，339页。斯普林格，海德堡（2015）。国际标准图书编号978-3-662-47967-4·Zbl 1351.68003号 ·doi:10.1007/978-3-662-47967-4 [2] Berge，C.：图和超图。北荷兰数学图书馆，第6卷，528页。牛津爱思唯尔出版社（1973）·Zbl 0254.05101号 [3] Best，E.，Darondeau，P.：有限持久转移系统的分解定理。《信息学报》46、237–254（2009）·Zbl 1166.68029号 ·doi:10.1007/s00236-009-0095-6 [4] Best，E.，Devillers，R.：素循环的幂。收录人：Kordon，F.，Moldt，D.（编辑）PETRI NETS 2016。LNCS，第9698卷，第59-78页。斯普林格，海德堡（2016）。doi:10.1007/978-3-319-39086-45·Zbl 1346.68126号 ·doi:10.1007/978-3-319-39086-45 [5] Darondeau，P.：语言的相等性与有界和持久petri网的可达状态图的同构性相一致。信息处理。莱特。94, 241–245 (2005) ·Zbl 1182.68138号 ·doi:10.1016/j.ipl.2005.03002 [6] Erofeev，E.、Barylska，K.、Mikulski，Ł。，Piątkowski，M.：生成所有最小petri网不可解二进制字。收录于：2016年《线谱学学报》。http://www.stringology.org/event/ ·Zbl 1366.68199号 [7] Fredholm，I.：函数类的超类方程。数学学报。27(1), 365–390 (1903) ·doi:10.1007/BF02421317 [8] Keller，R.M.：异步并行计算的基本定理。摘自：Feng，T.（编辑）《并行处理》。LNCS，第24卷，第102–112页。斯普林格，海德堡（1975）。doi:10.1007/3-540-07135-0_113·doi:10.1007/3-540-07135-0_113 [9] Reisig，W.：Petri Nets。EATCS理论计算机科学专著，第4卷。斯普林格，海德堡（1985）·Zbl 0604.68068号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。