×
最好的，艾克;雷蒙德·魔鬼队;乌里·施拉赫特

有界无选择Petri网综合：算法问题。 （英语） Zbl 1400.68131号

学报信息。 55，第7号，575-611（2018）.
摘要：本文描述了一个综合过程，该过程致力于尽可能从有限的持久转移系统构造无选择Petri网。利用无选择Petri网的特性，提出了一种两步法。预合成步骤检查转换系统的必要结构属性，并构造第二步所需的一些数据结构。然后，从一般区域理论方法中提取出一组简化的线性不等式组。这导致必须解决线性不等式的状态集大大缩小，并允许在构造性错误消息的支持下早期检测故障。对所得算法的性能进行了测量，并与现有的综合工具进行了数值比较。

引用于11文件

MSC公司：

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

软件：

SMT互联网;恰当的;github;石化
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}等人，Acta Inf.55，No.7，575--611（2018；Zbl 1400.68131）
全文： 内政部

参考文献：

[1] 爱沙尼亚巴杜埃尔。，Bernardinello，L.，Darondeau，P.：Petri网综合。理论计算机科学课文，第339页。柏林施普林格（2015）。国际标准图书编号978-3-662-47967-4·Zbl 1351.68003号
[2] 埃利桑那州巴杜埃尔；Bernardinello，L。；Darondeau，P。；Mosses，P.（编辑）；尼尔森，M.（编辑）；Schwartzbach，M.（编辑），有界网综合的多项式算法，第915号，第364-378页，（1995），柏林·Zbl 1496.68212号
[3] 埃利桑那州巴杜埃尔；Bernardinello，L。；Darondeau，P.，初等网络系统的综合问题是NP-完全的，Theor。计算。科学。，186, 107-134, (1997) ·Zbl 0893.68111号 ·doi:10.1016/S0304-3975（96）00219-8
[4] 埃利桑那州巴杜埃尔；Darondeau，P。；Reisig，W.（编辑）；Rozenberg，G.（编辑），《区域理论》，第1491、529-586号，（1999年），柏林·Zbl 0926.68088号 ·doi:10.1007/3-540-65306-6_22
[5] 巴杜埃尔，É；凯劳德，B。；Darondeau，P.，通过Petri网综合分配有限自动机，J.Form.Asp。计算。，13, 447-470, (2002) ·Zbl 1017.68062号 ·doi:10.1007/s001650200022
[6] 贝斯特，E。；Darondeau，P.，有限持久转移系统的分解定理，《学报》，46，237-254，（2009）·Zbl 1166.68029号 ·doi:10.1007/s00236-009-0095-6
[7] 贝斯特，E。；Darondeau，P。；Virbitskaite，I.（编辑）；Voronkov，A.（编辑），《Petri网可分配性》，第7162号，第1-18页，（2011年），柏林·Zbl 1336.68175号
[8] 贝斯特，E。；埃罗菲耶夫，E。；美国施拉赫特。；Wimmel，H。；Moldt，D.（编辑）；Kordon，F.（编辑），《描述Petri网可解二进制字的特征》，第9698、39-58号，（2016），柏林·Zbl 1346.68127号 ·doi:10.1007/978-3-319-39086-44
[9] Best，Eike；Devillers，Raymond，持久系统的合成，111-129，（2014），美国商会·Zbl 1334.68146号 ·doi:10.1007/978-3-319-07734-57
[10] 贝斯特，E。；Devillers，R.，《持久性系统的合成与再工程》，《信息学报》，第52期，第35-60页，（2015年）·Zbl 1310.68148号 ·doi:10.1007/s00236-014-0209-7
[11] 贝斯特，E。；Devillers，R.，T系统的状态空间公理，《信息学报》，52，133-152，（2015）·Zbl 1317.68129号 ·doi:10.1007/s00236-015-0219-0
[12] 贝斯特，E。；Devillers，R.，《活性和有界持久系统的合成》，基金会。Inf.，140，39-59，（2015）·兹比尔1335.68164
[13] Best，E.，Devillers，R.：有界无选择Petri网的合成。摘自：Aceto，L.，Frutos Escrig，D.（编辑）Proc。第26届并发理论国际会议（CONCUR 2015），LIPICS，第128-141页。Dagstuhl-Leibniz-Zentrum für Informatik学校。https://doi.org/10.4230/LIPIcs.CONCUR.2015.128 (2015) ·Zbl 1374.68319号
[14] 贝斯特，E。；Devillers，R.，标记图Petri网状态空间的特征，Inf.Compute。，253, 399-410, (2017) ·Zbl 1409.68183号 ·doi:10.1016/j.ic.2016.06.006
[15] Best，E.，Devillers，R.：基于素数循环和距离路径的Petri网预合成。发表于《计算机编程科学》（2018）。另外：奥登堡大学Informatik-Bericht编号3/16，26页（2016）
[16] Caillaud，B.：Synet:un outil de synthèse de résaux de Petri bornés，应用。研究报告RR 3155，INRIA（1997）。另请参见：https://hal.inia.fr/inia-00073534。 http://www.irisa.fr/s4/tools/synet/
[17] Carmona，J。；Jensen，K.（编辑）；Aalst，WMVD（编辑）；Ajmone Marsan，M.（编辑）；Franceschinis，G.（编辑）；Kleijn，J.（编辑）；Kristensen，LM（编辑），标签分裂问题，第7400号，1-23，（2012），柏林·Zbl 1377.68145号 ·doi:10.1007/978-3642-35179-2_1
[18] Carmona，J。；科尔塔德拉，J。；Kishinevsky，M。；Kondratyev，A。；拉瓦尼奥，L。；雅科夫列夫。；Hee，K.（编辑）；Valk，R.（编辑），合成有界Petri网的符号算法，第5062号，第92-111页，（2008），柏林·兹比尔1143.68478 ·数字对象标识代码：10.1007/978-3-540-68746-7_10
[19] Carmona，J。；Cortadella，J.公司。；Kishinevsky，M.，导出有界Petri网的新的基于区域的算法，IEEE Trans。计算。，59, 371-384, (2010) ·Zbl 1368.68259号 ·doi:10.1109/TC.2009.131
[20] Commoner，F。；霍尔特，AW；偶数，S。；Pnueli，A.，标记有向图，J.Compute。系统。科学。，5, 511-523, (1971) ·Zbl 0238.05109号 ·doi:10.1016/S0022-0000（71）80013-2
[21] 耶尔根基督；Jochen Hoenicke；Alexander Nutz，《SMTInterpol:插值SMT解算器》，248-254，（2012），柏林，海德堡·doi:10.1007/978-3642-31759-0_19
[22] 科尔塔德拉，J。；Kishinevsky，M。；Kondratyev，A。；拉瓦尼奥，L。；Yakovlev，A.，Petrify：一种用于操作异步控制器的并发规范和合成的工具，IEICE Trans。信息系统。，E80-D，315-325，（1997）
[23] 科尔塔德拉，J。；Kishinevsky，M。；拉瓦尼奥，L。；Yakovlev，A.，有限转移系统的导出Petri网，IEEE Trans。计算。，47, 859-882, (1998) ·Zbl 1392.68291号 ·数字对象标识代码：10.1109/12.707587
[24] Cortadella，J.，Kishinevsky，M.，Kondratyev，A.，Lavango，L.，Yakovlev，A.：异步控制器和接口的逻辑合成，《高级微电子》第8卷。施普林格科技与商业媒体，柏林（2012）·Zbl 1013.68273号
[25] 克雷斯皮·雷吉齐，S。；Mandrioli，D.，一类向量加法系统的可判定性定理，Inf.Process。莱特。，378-80年3月（1975年）·Zbl 0302.68065号 ·doi:10.1016/0020-0190（75）90020-4
[26] de San Pedro，J.，Cortadella，J.：挖掘用于过程行为可视化的结构化Petri网。摘自：第31届ACM应用计算研讨会，第839-846页，比萨（2016）
[27] Desel，J.，Esparza，J.：自由选择Petri网，第40卷，第242页。剑桥理论计算机科学丛书，剑桥（1995）·Zbl 0836.68074号 ·doi:10.1017/CBO9780511526558
[28] Dijkstra，EW，顺序过程的层次排序，《信息学报》，1115-138，（1971）·doi:10.1007/BF00289519
[29] 埃伦菲赫特，A。；Rozenberg，G.，《部分2-结构》，第一部分：基本概念和表示问题，第二部分：并发系统的状态空间，Acta Inf.，27315-368，（1990）·Zbl 0696.68082号 ·doi:10.1007/BF00264611
[30] Erofeev，E.、Barylska，K.、Mikulski，Ł。，Piątkowski，M.：生成所有最小Petri网不可解二进制字。摘自：《布拉格弦学会议论文集》，第33-46页（2016年）。请参见http://www.stringology.org/event/
[31] 霍普金斯，RP；Rozenberg，G.（编辑），可分配网。Petri网的应用和理论1990，第524号，161-187，（1991），柏林·doi:10.1007/BFb0019974
[32] Keller，Robert M.，异步并行计算的基本定理，102-112，（1975），柏林，海德堡·Zbl 0301.68063号 ·doi:10.1007/3-540-07135-0_113
[33] Khachiyan，L.：作品选集。莫斯科数学继续教育中心。国际标准书号978-5-94057-509-2，519页（2009年）(用俄语)
[34] Kondratyev，A.，Cortadella，J.，Kishinevsky，M.，Pastor，E.，Roig，O.，Yakovlev，A.：通过符号BDD遍历检查信号转换图的可实现性。In：程序。欧洲设计和测试会议，第325-332页，巴黎（1995）
[35] Landweber，左侧；Robertson，EL，无冲突和持久Petri网的性质，JACM，25，352-364，（1978）·Zbl 0384.68062号 ·数字对象标识代码：10.1145/322077.322079
[36] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，541-580，（1989）·数字对象标识代码：10.1109/5.24143
[37] 加利福尼亚州佩特里；Brauer，W.（编辑），Concurrency，No.84，251-260，（1980），柏林
[38] Reisig，W.：Petri Nets。EATCS理论计算机科学专著，第4卷。柏林施普林格（1985）·Zbl 0521.68057号
[39] Schlachter，U.等人：https://github.com/CvO-Theory/apt (2013-2017)
[40] 特鲁尔，E。；科洛姆，JM；Silva，M.，《无选择Petri网：具有批量服务和到达的确定性并发系统模型》，IEEE Trans。系统。人类网络。A部分，27-1，73-83，（1997）·doi:10.1109/3468.553226
[41] van Glabbeek，R.J.，Goltz，U.，Schicke-Uffmann，J.-W.：关于Petri网的可分配性（扩展摘要）。收录人：Birkedal，L.（编辑）Proc。FoSSaCS 2012（作为ETAPS的一部分持有），LNCS，第7213卷，第331-345页。柏林施普林格出版社（2012）·Zbl 1352.68192号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。