×
哈罗·威梅尔

有界无选择或叉属性网的预合成。 （英语） Zbl 1455.68130号

Inf.计算。 271，文章ID 104482，20 p.（2020）.
由标记转移系统（LTS）合成Petri网的目的是生成一个Petri网，使其标记图与LTS同构。综合问题是这样一个Petri网是否存在。如果Petri网应该满足某些要求，那么综合问题就更容易解决，因为有时可以从LTS的属性直接导出相应Petri网的存在性。如果不知道这些属性，这也可能更加困难。
这一贡献考虑了无选择网络，其中每个位置正好有一个输出转换，以及fork-attribution网络，另外每个转换都有一个输入位置。前面已经表明，无选择网的标记图具有结构属性，可以用于所谓的预合成：如果无选择网合成问题有解决方案，则LTS必须具有这些属性。本文将这一结果推广到叉属性网，并提出和分析了相应的改进算法。虽然分叉属性网接近于标记图（每个转换都有一个输入和一个输出位置），但对于这个综合问题，解决起来特别简单，作者令人信服地认为，只有对普通的分叉属性网络（没有加权弧）才能获得类似的结果。
审核人：Jörg Desel（哈根）

引用于4文件

MSC公司：

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

关键词：

Petri网;标记过渡系统;Petri网综合;无选择网;叉属性网

软件：

恰当的
PDF格式BibTeX公司 XML格式引用
\textit{H.Wimmel}，信息计算。271，文章ID 104482，20 p.（2020；Zbl 1455.68130）
全文： 内政部

参考文献：

[1] 埃利桑那州巴杜埃尔。；Bernardinello，L。；Darondeau，P.，Petri Net Synthesis（2015），Springer-Verlag，339页·Zbl 1351.68003号
[2] 巴杜埃尔，É。；Darondeau，P.，区域理论，（Petri网讲座I:基本模型。Petri网演讲I:基本模式，计算机科学讲义，第1491卷（1999），Springer-Verlag），529-586·Zbl 0926.68088号
[3] 贝斯特，E。；Devillers，R.，T系统的状态空间公理，信息学报。，52, 133-152 (2015) ·Zbl 1317.68129号
[4] 贝斯特，E。；Devillers，R.，《标记图Petri网状态空间的特征化，信息与计算》，第253卷，399-410（2017），Elsevier·兹比尔1409.68183
[5] 贝斯特，E。；Devillers，R.，基于素圈和距离路径的Petri网预合成，科学。计算。程序。，157, 41-55 (2018)
[6] 贝斯特，E。；Devillers，R。；Schlachter，U.，《国家分离的图形理论表征》，（第43届计算机科学理论与实践当前趋势国际会议，第43届国际计算机科学理论和实践当前趋势会议，2017年1月16日至20日，爱尔兰利默里克，2017年），163-175，2017·Zbl 1444.68112号
[7] 贝斯特，E。；Devillers，R。；美国施拉赫特，《有界无选择Petri网合成：算法问题》，《信息学报》。，1-31 (2017)
[8] 贝斯特，E。；埃罗菲耶夫，E。；美国施拉赫特。；Wimmel，H.，《描述Petri网可解二进制字的特征》，（Kordon，Fabrice；Moldt，Daniel，《Petri网和并发的应用和理论——第37届国际会议》，Petri网应用和理论与并发——第37次国际会议，2016年。Petri网和并发的应用和理论——第37届国际会议。Petri网和并发的应用和理论——第37届国际会议，Petri网2016，计算机科学讲义，第9698卷（2016），Springer），39-58·Zbl 1346.68127号
[9] 布兰德·R·G。；Goldfarb，D。；Todd，M.J.，《椭球体方法：调查》，Oper。决议，29，6，1039-1091（1981）·Zbl 0474.90056号
[10] 埃伦菲赫特，A。；Rozenberg，G.，部分（集）2-结构，信息学报。，27, 4, 315-368 (1989) ·Zbl 0696.68083号
[11] Hujsa，T。；Delosme，J。；Munier-Kordon，A.，加权Petri网子类中行为良好和本家标记的多项式充分条件，ACM-Trans。嵌入。计算。系统。，13、4s、1-25（2014）
[12] Karmarkar，N.，《线性规划的新多项式时间算法》，组合数学，第4卷，373-395（1984），施普林格出版社·兹伯利0557.90065
[13] Karp，R.M.，组合问题中的可还原性，（IBM计算机计算复杂性研讨会论文集（1972），施普林格），85-103·Zbl 1467.68065号
[14] Keller，R.M.，异步并行计算的基本定理，（Sagamore Computer Conference。SagamoreComputer Conference，计算机科学讲义，第24卷（1974），Springer），102-112·Zbl 0301.68063号
[15] Landweber，L.H。；Robertson，E.L.，无冲突和持久Petri网的性质，J.ACM，25，3，352-364（1978）·Zbl 0384.68062号
[16] Lipton，R.J.，《归约：证明并行程序属性的方法》，Commun。ACM，第18、12、717-721页（1973年）·Zbl 0316.68015号
[17] Murata，T.，Petri网：性质、分析和应用，Proc。IEEE，77，4，541-580（1989）
[18] Reisig，W.，《理解Petri网：建模技术、分析方法、案例研究》（2013年），Springer-Verlag出版社，211页·Zbl 1278.68222号
[19] Schlachter，U.，APT-Petri网和标记转换系统分析（2013-2019）
[20] 特鲁尔，E。；科罗姆·J·M。；Silva，M.，《无选择Petri网：具有批量服务和到达的确定性并发系统模型》，IEEE Trans。系统。人类网络。，A部分，27，1，73-83（1997）
[21] 特雷杜普，R。；Rosenke，C.，《全面描述布尔网合成的复杂性》（2018），42页
[22] Schlachter，U.，限制类网中的Petri网合成，（Petri网的应用和理论与并发，2016年）。Petri网的应用和理论与并发2016，计算机科学讲义，第9698卷（2016），79-97·Zbl 1346.68140号
[23] 美国施拉赫特。；Wimmel，H.，事件/状态分离的几何特征，（Khomenko，V.；Roux，O.H.，Petri网和并发的应用和理论，第39届国际会议。Petri网的应用和原理和并发，第39次国际会议，2018年Petri Nets。Petri网和并发的应用和理论，第39届国际会议。Petri网和并发的应用和理论，第39届国际会议，Petri Nets 2018，计算机科学讲义，第10877卷（2018），99-116·Zbl 1427.68209号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。