最好的，艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 目标导向Petri网合成。 （英语） Zbl 1497.68327号 芬达姆。通知。 175，编号1-4，97-122（2020）. 摘要：当Petri网从标记的转换系统合成时，通常需要满足某些附加约束。例如，在电路设计中，人们常常对构造安全Petri网感兴趣。以Petri网的此类子类为目标并不一定比以整个类为目标更有效。例如，已知目标安全网是NP完备的，而目标全类位置/转换网是多项式的，以转换系统的大小计算。在本文中，检验了几类Petri网，并研究和评估了它们是否适合通过标记过渡系统的有效合成来作为目标。重点是无选择Petri网及其一些子类。本文描述了如何从持久的转换系统中高效地综合它们，并以教程的方式总结和简化了过去几年作者及其团队的一些工作。 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：选择自由度;坚持不懈;Petri网;合成 软件：github;恰当的 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人，Fundam。通知。175，编号1--4，97-122（2020；Zbl 1497.68327） 全文： 内政部 参考文献： [1] Badouel E，Bernardinello L，Darondeau P.有界网络综合的多项式算法。In：程序。TAPSOFT’95，P.D.Mosses，M.Nielsen，M.I.Schwartzbach（编辑）。第915卷计算机科学课堂讲稿，1995年，第364-378页。doi:10.1007/3-540-59293-8207·Zbl 1496.68212号 [2] Badouel E、Bernardinello L、Darondeau P.Petri网合成。《理论计算机科学文本》，斯普林格出版社，2015年，第339页。国际标准图书编号：978-3-662-47967-4·Zbl 1351.68003号 [3] Ehrenfeucht A，Rozenberg G.部分2-结构，第一部分：基本概念和表示问题，第二部分：并发系统的状态空间。信息学报1990.27（4）：315-368·Zbl 0696.68083号 [4] Kleijn J、Koutny M、Pietkiewicz-Koutny M.、Rozenberg G.应用区域。理论计算机科学2017.658:205-215。doi:10.1016/j.tcs.2016.01.040·兹比尔1355.68192 [5] Reisig W.Petri网。EATCS理论计算机科学专著4。斯普林格·弗拉格1985年·兹伯利0555.68033 [6] Cortadella J、Kishinevsky M、Kondratyev A、Lavagno L、Yakovlev A。异步控制器和接口的逻辑综合。Springer-Verlag Berlin Heidelberg，《先进微电子》。2002年，国际标准图书编号：978-3-540-43152-7。doi:10.1007/978-3642-55989-1·Zbl 1013.68273号 [7] Carmona J、Cortadella J、Khomenko V、Yakovlev A.从Petri网合成异步硬件。收录：《并发与Petri网讲座》，J.Desel、W.Reisig、G.Rozenberg（编辑）。《Petri网进展》，第3098卷。计算机科学课堂讲稿。2004年，第345-401页。doi:10.1007/978-3-540-2775529·兹比尔1088.68504 [8] Lavagno L、Moon CW、Brayton RK、Sangiovanni-Vincentelli A.解决基于事件规范的状态分配问题的新框架。IEEE集成电路和系统计算机辅助设计汇刊021992/1995第24页。 [9] Badouel E，Caillaud B，Darondeau P.通过Petri网综合分配有限自动机。计算机形式方面杂志2002.13:447-470。doi:10.1007/s001650200022·Zbl 1017.68062号 [10] 限制类网的Schlachter U.Petri网综合。在：Petri网和并发的应用和理论2016，F.Kordon，D.Moldt（eds）。第9698卷计算机科学讲义。2016年，第79-97页。doi:10.1007/978-3-319-39086-46·Zbl 1346.68140号 [11] Best E，Darondeau P.有限持久转移系统的分解定理。信息学报2009.46:237-254。doi:10.1007/s00236-009-0095-6·Zbl 1166.68029号 [12] Best E，Devillers R.持久系统的合成。在：Petri网和并发的应用和理论2014，G.Ciardo，E.Kindler（eds）。第8489卷计算机科学课堂讲稿，2014年，第111-129页。doi:10.1007/978-3-319-07734-57·Zbl 1334.68146号 [13] Best E，Devillers R.持久系统的合成和再工程。收录于：《作曲与并发研讨会合并25周年特别卷》，R.van Glabbeek，U.Goltz，E.-R.Olderog（编辑）。信息学报2015.52（1）：35-60·Zbl 1310.68148号 [14] Best E，Devillers R，Schlachter U。有界无选择Petri网综合：算法问题。信息学报2018.55（7）：575-611。doi:10.1007/s00236-017-0310-9·Zbl 1400.68131号 [15] Wimmel H.有界无选择或分叉归因网的预合成。信息与计算，2019年。doi:10.1016/j.ic.2019.104482·Zbl 1455.68130号 [16] Badouel E，Bernardinello L，Darondeau P。基本网络系统的综合问题是NPComplete。理论计算机科学1997.186（1-2）：107-134。doi:10.1016/S0304-3975（96）00219-8·Zbl 0893.68111号 [17] Best E，Devillers R，Schlachter U。状态分离的图形理论表征。SOFSEM 2017，第10139卷，2017年计算机科学讲义，第163-175页。doi:10.1007/978-3-319-519630 13·Zbl 1444.68112号 [18] Schlachter U，Wimmel H.事件/状态分离的几何特征。在：Petri网的应用和理论与并发2018，V.Khomenko，O.H.Roux（eds）。第10877卷《2018年计算机科学讲义》，第99-116页。doi:10.1007/978-3-319-91268-46·Zbl 1427.68209号 [19] U.Schlachter等人：APT：Petri网和转换系统分析，https://github.com/CvO-理论/apt·Zbl 1433.68239号 [20] Christ J、Hoenicke J、Nutz A.保护树木插值。程序。TACAS 2013，N.Piterman，S.A.Smolka（编辑）。第7795卷计算机科学课堂讲稿，2013年，第124-138页。doi:10.1007/978-364236742-79·Zbl 1381.68152号 [21] Karmarkar N.线性规划的一种新的多项式时间算法。《组合》4，施普林格1984年，第373-395页。doi:10.1007/BF02579150·Zbl 0557.90065号 [22] Schlachter U.Petri网综合与模态规范。卡尔·冯·奥斯西茨基大学博士论文–奥尔登堡2018·Zbl 1504.68147号 [23] Erofeev E.一类Petri网可解转移系统的特征。卡尔·冯·奥斯西茨基大学博士论文–奥尔登堡2018。 [24] de Berg M、van Kreveld M、Overmars M、Schwarzkopf o.计算几何：算法和应用。斯普林格，2000年。国际标准图书编号：978-3-662-04245-8·Zbl 0939.68134号 [25] Teruel E、Colom JM、Silva M.无选择Petri网：具有批量服务和到达的确定性并发系统模型。IEEE系统、人与控制论汇刊（A部分），1997.27（1）：73-83。doi:10.1109/3468.553226。 [26] Landweber LH，Robertson EL。无冲突和持久Petri网的性质。JACM 1978年。25(3):352-364. doi:10.1145/322077.322079·Zbl 0384.68062号 [27] Devillers R.过渡系统的铰接及其在Petri网综合中的应用。在：Petri网的应用和理论与并发2019年，S.Donatelli，S.Haar（编辑）。第11522卷《计算机科学讲义》，2019年，第113-129页。doi:10.1007/978-3-030-21571-28。 [28] Devillers R，Schlachter U。Petri网可解转移系统的分解。在：Petri网的应用和理论与并发2018，V.Khomenko，O.H.Roux（eds）。第10877卷《计算机科学讲义》，2018年，第82-98页·Zbl 1427.68192号 [29] Best E，Devillers R.基于素圈和距离路径的Petri网预合成。科学。计算。程序。2018年15月17:41-55。doi:10.1016/j.scico.2017.07.005。 [30] Commoner F，Holt AW，Even S，Pnueli A.标记有向图。J.计算。系统。科学。1971.5(5):511- 523. doi:10.1016/S0022-0000（71）80013-2·Zbl 0238.05109号 [31] Genrich HJ，Lautenbach K.同步。信息学报1973.2:143-161·Zbl 0244.68026号 [32] Best E，Devillers R.有标记图Petri网状态空间的刻画。信息与计算2017.253（3）：399-410。doi:10.1016/j.ic.2016.06.006·Zbl 1409.68183号 [33] Best E，Devillers R.T-系统的状态空间公理。收录：沃尔特·福格勒60岁生日特别卷，G.L–uttgen，F.Corradini（编辑）。信息学报2015.52（2-3）：133-152。doi:10.1007/s00236-015-0219-0·Zbl 1317.68129号 [34] Barylska K，Best E，Erofeev E，MikulskiŁ，Piaótkowski P.Petri网可解二进制字的条件。收录：《Petri网和其他并发模型的事务》，M.Koutny，J.Desel，J.Kleijn（编辑）。第9930卷《2016年计算机科学讲义》第137-159页·Zbl 1366.68199号 [35] Best E，Erofeev E，Schlachter U，Wimmel H.描述Petri网可解二进制字。在：Petri网和并发的应用和理论2016，F.Kordon，D.Moldt（eds）。第9698卷《计算机科学讲义》，2016年，第39-58页·Zbl 1346.68127号 [36] Erofeev E，Barylska K，MikulskiŁ，Piałtkowski M.生成所有最小Petri网不可解二进制字。离散应用数学，2020.274:35-53·Zbl 1434.68244号 [37] Erofeev E，Wimmel H.二次转移Petri网的可达图。ATAED@佩特里Nets/ACSD 2017第39-54页。http://ceur-ws.org/Vol-1847/paper03.pdf。 [38] de Frutos Escrig D、Koutny M、Mikulski。Petri网可解二进制字的有效表征。在：Petri网的应用和理论与并发2018，V.Khomenko，O.H.Roux（eds）。第10877卷《计算机科学讲义》，2018年，第207-226页·Zbl 1427.68189号 [39] Teruel E，Chrzaöstowski-Wachtel P，Colom J，Silva M.关于加权T系统。《Petri网的应用与理论》，第616卷《计算机科学讲义》，1992年，第348-367页。 [40] Devillers R，Erofeev E，Hujsa T.从循环标记转移系统合成加权标记图。ATAED@佩特里Nets/ACSD，2019年，第6-22页。统一资源定位地址http://ceur-ws.org/Vol-2371/ATAED2019-6-22.pdf格式。 [41] Devillers R，Hujsa T.加权标记图Petri网的分析与合成。在：Petri网的应用和理论与并发2018，V.Khomenko，O.H.Roux（eds）。第10877卷《计算机科学讲义》，2018年，第19-39页。doi:10.1007/978-3-319-91268-42·Zbl 1427.68191号 [42] Devillers R，Hujsa T.加权标记图Petri网的分析和合成：精确和近似方法。《基础信息》2019.169（1-2）：1-30。doi:10.333/FI-2019-1837·Zbl 1436.68210号 [43] Desel J，Esparza J.自由选择Petri Nets。第40卷，1995年。剑桥大学出版社。国际标准图书编号：978-0-52146519-9·Zbl 0836.68074号 [44] Schlachter U，Spreckels V.将标记转移系统合成为等冲突Petri网。ATAED@佩特里Nets/ACSD，2017年，第122-130页。统一资源定位地址http://ceur-ws.org/Vol-1847/paper09.pdf。 [45] Wimmel H.不对称选择Petri网的合成。2019年第27页。arXiv:1911.09133[cs.FL]。 [46] E.Best、R.Devillers、U.Schlachter、H.Wimmel：同步Petri网合成。科学。Ann.Comp.公司。科学。2018.28(2):199-236. doi:10.7561/SACS.2018.2199·Zbl 1424.68099号 [47] Carmona J.标签分割问题。收录于：《Petri网和其他并发模型学报VI》，K.Jensen，W.M.v.d.Aalst，M.Ajmone Marsan，G.Franceschinis，J.Kleijn，L.M.Kristensen（编辑），第7400卷《计算机科学讲义》，2012年第1-23页。doi:10.1007/978-3642-35179-21·Zbl 1377.68145号 [48] Carmona J、Cortadella J、Kishinevsky M、Kondratyev A、Lavango L、Yakovlev A。有界Petri网合成的符号算法。In:《Petri网的应用和理论》2008，K.van Hee，R.Valk（eds）。第5062卷计算机科学课堂讲稿，2008年，第92-111页。doi:10.1007/978-3-54068746-710·兹比尔1143.68478 [49] Schlachter U，Wimmel H.将LTS嵌入到任意Petri网可达图中的最优标签分裂是NP-完全的。2020年，第18页。arXiv:2002.04841[cs.CC]。 [50] Schlachter U，Wimmel H.通过解决分离问题为Petri网合成重新标记LTS。收录于：《Petri网和其他并发模型学报》第十四卷，M.Koutny、L.Pomello、L.M.Kristensen（编辑）。第11790卷《计算机科学讲义》，2019年，第222-254页。doi:10.1007/978-3-66260651-39·Zbl 1464.68261号 [51] K.Barylska，E.Best，U.Schlachter，V.Spreckels:普通、纯和安全Petri网的属性。收录：《Petri网和其他并发模型学报》第十二卷，M.Koutny、J.Kleijn、W.Penczek、M.Zhang（编辑）。计算机科学课堂讲稿10470,1-18（2017）·Zbl 1464.68227号 [52] 埃斯帕尔扎J。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。