×
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈州蒙塔纳里

有状态连接器的标准形式。 （英语） Zbl 1321.68357号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，205-227（2015）。
小结：在本文中，我们考虑了一种连接器演算，它允许同步、非确定性和缓冲的最一般的组合。根据以前的结果，这种演算与一种具有用于组合的接口的Petri网风格紧密相关，称为带边界Petri网。微积分和网络版本具有等价的双相似语义。此外，缓冲区（网络位置）可以是一个位置（C/E网络）或具有无限容量（P/T网络）。在本文中，我们研究了在等价（双相似）项应具有相同（同构）正规形式的意义上，为该微积分项寻找正规形式表示的思想。我们证明了这对于有限状态项是可能的。结果是通过计算具有与给定项相对应的边界的网络的最小标记图（当有限时），并从中重建规范网络和规范项来获得的。
关于整个系列，请参见[Zbl 1319.68011号].

MSC公司：

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

关键词：

连接子代数;带边界的Petri网

软件：

Reo公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。9200，205-227（2015；Zbl 1321.68357）
全文： 内政部 链接

参考文献：

[1] Arbab，F.：Reo：基于渠道的组件组合协调模型。数学。结构。公司。科学。14(3), 329–366 (2004) ·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153
[2] Arbab，F.、Bruni，R.、Clarke，D.、Lanese，I.、Montanari，U.：Reo的瓷砖。收录：Corradini，A.，Montanari，U.（编辑）WADT 2008。LNCS，第5486卷，第37-55页。斯普林格，海德堡（2009）·Zbl 1253.68090号 ·doi:10.1007/978-3-642-03429-94
[3] Baldan，P.，Corradini，A.，Ehrig，H.，Heckel，R.：基于确定性过程的开放Petri网的合成语义。数学。结构。公司。科学。15(1), 1–35 (2005) ·Zbl 1089.68068号 ·doi:10.1017/S0960129504004311
[4] Basu，A.，Bozga，M.，Sifakis，J.：BIP中异构实时组件建模。收录于：SEFM 2006，第3-12页。IEEE计算机学会（2006）·doi:10.1109/SEFM.2006.27
[5] Bliudze，S.，Sifakis，J.：连接器代数——BIP中的结构化交互。IEEE传输。计算。57(10), 1315–1330 (2008) ·doi:10.1109/TC.2008.26
[6] Bonchi，F.、Sobocinnski，P.、Zanasi，F.：信号流图的范畴语义。收录：Baldan，P.，Gorla，D.（编辑）CONCUR 2014。LNCS，第8704卷，第435-450页。斯普林格，海德堡（2014）·兹伯利1417.68119 ·数字对象标识代码：10.1007/978-3-662-44584-6_30
[7] Bonchi，F.、Sobocinski，P.、Zanasi，F.：信号流图的完全抽象。收录于：POPL 2015，第515-526页。ACM（2015）·Zbl 1346.68143号 ·doi:10.1145/2676726.2676993
[8] Bruni，R.，Lanese，I.，Montanari，U.：无状态连接符的基本代数。西奥。计算。科学。366(1–2), 98–120 (2006) ·Zbl 1153.68331号 ·doi:10.1016/j.tcs.2006.07.005
[9] Bruni，R.，Melgratti，H.，Montanari，U.：P/T网络交互的连接器代数。在：Katoen，J.-P.，König，B.（编辑）CONCUR 2011。LNCS，第6901卷，第312-326页。施普林格，海德堡（2011）·Zbl 1344.68161号 ·doi:10.1007/978-3-642-23217-621
[10] Bruni，R.，Melgratti，H.，Montanari，U.：连接代数，Petri网和BIP。收录人：Clarke，E.，Virbitskaite，I.，Voronkov，A.（编辑）PSI 2011。LNCS，第7162卷，第19-38页。斯普林格，海德堡（2012）·Zbl 1336.68006号 ·doi:10.1007/978-3642-29709-02
[11] Bruni，R.，Melgratti，H.，Montanari，U.：行为、相互作用和动力学。收录于：Iida，S.，Meseguer，J.，Ogata，K.（编辑）规范，代数和软件。LNCS，第8373卷，第382-401页。斯普林格，海德堡（2014）·Zbl 1407.68098号 ·doi:10.1007/978-3-642-54624-2-19
[12] Bruni，R.，Melgratti，H.C.，Montanari，U.，Sobocinski，P.：C/E和P/T网络交互的连接代数。日志。方法计算。科学。9(3), 1–65 (2013) ·Zbl 1274.68224号 ·doi:10.2168/LMCS-9（3:16）2013年
[13] Bruni，R.，Meseguer，J.，Montanari，U.，Sassone，V.：Petri网的函数模型。Inf.计算。170(2), 207–236 (2001) ·兹比尔1005.68102 ·doi:10.1006/inco.2001.3050
[14] Degano，P.，Meseguer，J.，Montanari，U.：公理化网络计算和过程的代数。《学报年鉴》33（7），641-667（1996）·Zbl 0849.68087号 ·doi:10.1007/s002360050064
[15] Gadducci，F.，Montanari，U.：瓷砖模型。摘自：证明、语言和互动，第133-166页。麻省理工学院出版社（2000）
[16] 哈克尼，P.，罗伯逊，M.：关于道具类别（2012）。arXiv:1207.2773·Zbl 1320.18010号
[17] Jongmans，S.S.T.，Arbab，F.：Reo的三十种语义形式概述。科学。Ann.计算。科学。22(1), 201–251 (2012)
[18] Kanellakis，P.C.，Smolka，S.A.：CCS表达式，有限状态过程和三个等价问题。收录于：PODC 1983，第228-240页。ACM（1983）·数字对象标识代码：10.1145/800221.806724
[19] Katis，P.、Sabadini，N.、Walters，R.F.C.：表示跨度中的位置/过渡网（图表）。收录：Johnson，M.（编辑）AMAST 1997。LNCS，第1349卷。斯普林格，海德堡（1997）·Zbl 0885.18005号
[20] Katis，P.、Sabadini，N.、Walters，R.F.C.：在Span（图）中表示位置/过渡网。收录：Johnson，M.（编辑）AMAST 1997。LNCS，第1349卷，第322-336页。斯普林格，海德堡（1997）·Zbl 0885.18005号 ·doi:10.1007/BFb0000480
[21] MacLane，S.：范畴代数。牛市。AMS 71（1），40–106（1965）·Zbl 0161.01601号 ·doi:10.1090/S0002-9904-1965-11234-4
[22] Meseguer，J.，Montanari，U.：Petri网是幺半群。Inf.Comp.公司。88(2), 105–155 (1990) ·Zbl 0711.68077号 ·doi:10.1016/0890-5401（90）90013-8
[23] Meseguer，J.，Montanari，U.，Sassone，V.：关于位置/转换Petri网的语义。数学。结构。公司。科学。7（4），359–397（1997年）·Zbl 0876.68072号 ·doi:10.1017/S0960129597002314
[24] Paige，R.，Tarjan，R.E.：三种分区优化算法。SIAM J.计算。16(6), 973–989 (1987) ·Zbl 0654.68072号 ·数字对象标识代码：10.1137/0216062
[25] Perry，D.E.，Wolf，E.L.：软件体系结构研究的基础。ACM SIGSOFT软件。工程注释17、40–52（1992）·数字对象标识代码：10.1145/141874.141884
[26] 佩特里，C.：自动化公司。波恩仪器数学研究所博士论文（1962年）
[27] Sobocinski，P.：多方同步的非分离过程演算。In:ICE 2009，EPTCS，第12卷，第87–98页（2009）·doi:10.4204/EPTCS.12.6
[28] Sobocinnski，P.：Petri网相互作用的表示。收录：Gastin，P.，Laroussinie，F.（编辑）CONCUR 2010。LNCS，第6269卷，第554-568页。斯普林格，海德堡（2010）·Zbl 1287.68142号 ·doi:10.1007/978-3-642-15375-4_38
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。