×
乌里·施拉赫特

有限类网的Petri网综合。 （英语） Zbl 1346.68140号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，79-97（2016）。
摘要：本文首先概述了Petri网综合的一种算法。然后，将该算法推广到特殊的Petri网类。为此，可以指定平原、纯、无冲突、齐次、（k）-有界、广义T-网、广义标记图、位置-输出-无分支和分布式属性的任意组合。最后，提出了一种快速启发式算法和最小化合成Petri网中位置数的算法，并进行了实验评估。
有关整个系列，请参见[Zbl 1337.68013号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

Petri网综合;Petri网属性;区域理论;Petri网最小化

软件：

恰当的;Synet公司;石化;github;SMT-LIB公司
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}，莱克特。注释计算。科学。9698，79-97（2016年；兹bl 1346.68140）
全文： 内政部

参考文献：

[1] Badouel，E.，Bernardinello，L.，Darondeau，P.：有界网综合的多项式算法。收录：Mosses，P.D.，Nielsen，M.，Schwartzbach，M.I.（编辑）TAPSOFT 1995。LNCS，第915卷，第364-378页。斯普林格，海德堡（1995）·doi:10.1007/3-540-59293-8_207
[2] Badouel，E.，Bernardinello，L.，Darondeau，P.：Petri网合成。斯普林格，海德堡（2015）。http://dx.doi.org/10.1007/978-3-662-47967-4 ·Zbl 1351.68003号 ·doi:10.1007/978-3-662-47967-4
[3] Badouel，E.，Caillaud，B.，Darondeau，P.：通过Petri网综合分配有限自动机。正式Asp。计算。13（6），447–470（2002年）。http://dx.doi.org/10.1007/s001650200022 ·Zbl 1017.68062号 ·doi:10.1007/s001650200022
[4] Badouel，E.，Darondeau，P.：区域理论。收录于：Reisig，W.，Rozenberg，G.（eds.）《Petri网讲座I：基本模型，Petri网进展》，卷基于Petri网高级课程，第1491卷，第529-586页。斯普林格，海德堡（1996）。http://dx.doi.org/10.1007/3-540-65306-6_22 ·Zbl 0926.68088号
[5] Barrett，C.、Stump，A.、Tinelli，C.：SMT-LIB标准：2.0版。收录：Gupta，A.，Kroening，D.（eds.）《第八届可满足模理论国际研讨会论文集》，英国爱丁堡（2010）
[6] Best，E.，Darondeau，P.：Petri网可分配性。收录人：Clarke，E.，Virbitskaite，I.，Voronkov，A.（编辑）PSI 2011。LNCS，第7162卷，第1-18页。斯普林格，海德堡（2012）·Zbl 1336.68175号 ·doi:10.1007/978-3-642-29709-0_1
[7] 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
[8] Best，E.，Devillers，R.R.：t系统的状态空间公理。《信息学报》52（2–3），133–152（2015）。http://dx.doi.org/10.1007/s00236-015-0219-0 ·Zbl 1317.68129号 ·doi:10.1007/s00236-015-0219-0
[9] Best，E.，Devillers，R.R.：有界无选择Petri网的合成。摘自：Aceto，L.，de Frutos-Escrig，D.（eds.）第26届并发理论国际会议，CONCUR 2015，西班牙马德里，2015年9月1日至4日。LIPIcs，第42卷，第128–141页。Schloss Dagstuhl-Leibniz Zentrum fuer Informatik出版社（2015年）。http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.128 ·Zbl 1374.68319号
[10] Best，E.，Schlachter，U.：Petri网和转换系统分析。收录人：Knight，S.、Lanese，I.、Lluch-Lafuente，A.、Vieira，H.T.（编辑）《第八届交互与并发体验会议录》，ICE 2015，法国格勒诺布尔，2015年6月4-5日。EPTCS，第189卷，第53-67页（2015年）。http://dx.doi.org/10.4204/EPTCS.189.6 ·doi:10.4204/EPTCS.189.6
[11] Borde，D.、Dierkes，S.、Ferrari，R.、Gieseking，M.、Göbel，V.、Grunwald，R.，von der Linde，B.、Lückehe，D.、Schlachter，U.、Schierholz，C.、Schwammberger，M.和Spreckels，V.：APT：Petri网和标记过渡系统的分析。https://github.com/CvO-Theory/apt
[12] Cabasino，M.P.，Giua，A.，Seatzu，C.：根据他们的语言知识识别Petri网。离散事件动态。系统。17（4），447–474（2007年）。http://dx.doi.org/10.1007/s10626-007-0025-0 ·Zbl 1125.93332号 ·doi:10.1007/s10626-007-0025-0
[13] Caillaud，B.：Synet：有限自动机中可分配有界Petri网的合成器。https://www.irisa.fr/s4/tools/synet/
[14] Carmona，J.：GENET：通用NET合成。网址：http://www.cs.upc.edu/jcarmona/genet.html
[15] Carmona，J.A.，Cortadella，J.，Kishinevsky，M.：一种基于区域的算法，用于从事件日志中发现Petri网。收录：Dumas，M.，Reichert，M.，Shan，M.-C（编辑）BPM 2008。LNCS，第5240卷，第358-373页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-85758-7_26
[16] Carmona，J.、Cortadella，J.和Kishinevsky，M.：导出有界petri网的新的基于区域的算法。IEEE传输。计算。59(3), 371–384 (2010). http://dx.doi.org/10.109/TC.2009.131 ·Zbl 1368.68259号 ·doi:10.1109/TC.2009.131
[17] Carmona，J.、Cortadella，J.，Kishinevsky，M.、Kondratyev，A.、Lavagno，L.、Yakovlev，A.：有界petri网合成的符号算法。参见：van Hee和Valk[27]，第92-111页。http://dx.doi.org/10.1007/978-3-540-68746-7_10 ·Zbl 1143.68478号 ·数字对象标识代码：10.1007/978-3-540-68746-7_10
[18] Christ，J.、Hoenicke，J.和Nutz，A.：保护证明树插值。收录：Piterman，N.，Smolka，S.A.（编辑）TACAS 2013（ETAPS 2013）。LNCS，第7795卷，第124-138页。斯普林格，海德堡（2013）·Zbl 1381.68152号 ·doi:10.1007/978-3-642-36742-79
[19] Cortadella，J.、Kishinevsky，M.、Kondratyev，A.、Lavanio，L.、Yakovlev，A.：Petrify：一种用于操纵异步控制器的并发规范和合成的工具（1996）·Zbl 1013.68273号
[20] Cortadella，J.，Kishinevsky，M.，Lavagno，L.，Yakovlev，A.：从基于状态的模型合成petri网。收录于：Rudell，R.L.（编辑）《1995年IEEE/ACM计算机辅助设计国际会议论文集》，ICCAD 1995，美国加利福尼亚州圣何塞，1995年11月5日至9日，第164-171页。IEEE计算机学会/ACM（1995）。http://dx.doi.org/10.109/ICCAD.1995.480008 ·doi:10.1109/ICCAD.1995.480008
[21] Cortadella，J.，Kishinevsky，M.，Lavagno，L.，Yakovlev，A.：有限转移系统的导出petri网。IEEE传输。计算机47（8），859–882（1998）。http://dx.doi.org/10.109/12.707587 ·数字对象标识代码：10.1109/12.707587
[22] Cortadella，J.等人：Petrify：合成Petri网和异步电路的工具。网址：http://www.cs.upc.edu/约旦/石化/
[23] Darondeau，P.：从形式语言导出无界Petri网。收录：Sangiorgi，D.，de Simone，R.（编辑）CONCUR 1998。LNCS，第1466卷，第533–548页。斯普林格，海德堡（1998）·Zbl 0940.68097号 ·doi:10.1007/BFb0055646
[24] Dijkstra，E.W.：顺序过程的层次排序。《信息学报》1，115–138（1971）。http://dx.doi.org/10.1007/BF00289519 ·doi:10.1007/BF00289519
[25] Ehrenfeucht，A.，Rozenberg，G.：部分（集）2-结构。第一部分：基本概念和表示问题。《信息学报》27（4），315-342（1990）。http://dx.doi.org/10.1007/BF00264611 ·Zbl 0696.68082号 ·doi:10.1007/BF00264611
[26] Ehrenfeucht，A.，Rozenberg，G.：部分（集）2-结构。第二部分：并发系统的状态空间。《信息学报》27（4），343–368（1990）·Zbl 0696.68083号 ·doi:10.1007/BF00264612
[27] van Hee，K.M.，Valk，R.（编辑）：Petri网的应用与理论，第29届国际会议，2008年6月23日至27日，中国西安。计算机科学讲稿，第5062卷，施普林格（2008）
[28] Lorenz，R.，Mauser，S.，JuháS，G.：如何从语言合成网络：一项调查。收录人：Henderson，S.G.、Biller，B.、Hsieh，M.、Shorte，J.、Tew，J.D.、Barton，R.R.（编辑）《2007年冬季模拟会议论文集》，2007年12月9日至12日，美国华盛顿特区，第637-647页。WSC（2007）。http://dx.doi.org/10.109/WSC.2007.4419657 ·doi:10.1109/WSC.2007.4419657
[29] van der Werf，J.M.E.M.，van Dongen，B.F.，Hurkens，C.A.J.，Serebrenik，A.：使用整数线性规划的过程发现。参见：van Hee和Valk[27]，第368-387页。http://dx.doi.org/10.1007/978-3-540-68746-7_24 ·Zbl 1143.68497号 ·数字对象标识代码：10.1007/978-3-540-68746-7_24
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。