×
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科马五世。

异步跟踪和开放Petri网。 （英语） Zbl 1434.68320号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 86-102 (2015).
摘要：进程计算和Petri网这两个并发的基本模型之间的关系已经被广泛研究。有许多建议将过程计算编码为Petri网，同时保留一些感兴趣的行为特征。我们最近引入了一个框架，其中可以为具有不同通信模式的calculi统一定义网络编码，包括同步两方、多方和异步通信。编码保留并反映了几种行为语义，尤其是互模拟等价。异步计算和跟踪语义的情况不太直接：考虑到将异步计算视为同步计算的一个片段时出现的跟踪，编码不会反映跟踪等价性。针对CCS，我们认为这一现象与痕量夹杂物和可能测试的预序之间的不完全匹配有关。我们考虑另一种标记过渡系统，其中后一个问题得到了解决，并且我们证明，实际上，相应的跟踪语义被网络编码所保留和反映。
关于整个系列，请参见[Zbl 1325.68011号]。

引用于4文件

MSC公司：

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

关键词：

异步CCS;（开放）Petri网;模块化编码;可能的测试;跟踪语义
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。9465，86-102（2015；Zbl 1434.68320）
全文： 内政部

参考文献：

[1] Amadio，R.，Castellani，I.，Sangiorgi，D.：异步的互模拟\[\圆周率\]-微积分。理论。计算。科学。195(2), 291–324 (1998) ·兹比尔0915.68009 ·doi:10.1016/S0304-3975（97）00223-5
[2] Baldan，P.、Bonchi，F.、Gadducci，F.和Monreale，G.：使用开放Petri网对同步和异步交互进行模块化编码。科学。计算。程序。10996–124（2015年）·Zbl 1434.68320号 ·doi:10.1016/j.scico.2014.11.019
[3] Baldan，P.、Bonchi，F.、Gadducci，F.和Monreale，G.V.：使用标记Petri网编码同步交互。收录于：Kühn，E.，Pugliese，R.（eds.）COORDINATION 2014。LNCS，第8459卷，第1-16页。斯普林格，海德堡（2014）·doi:10.1007/978-3-662-43376-8_1
[4] Baldan，P.，Corradini，A.，Ehrig，H.，Heckel，R.：基于确定性过程的开放Petri网的合成语义。数学。结构。计算。科学。15(1), 1–35 (2004) ·Zbl 1089.68068号 ·doi:10.1017/S0960129504004311
[5] Baldan，P.、Bonchi，F.、Gadducci，F.和Monreale，G.V.：不能异步观察到并发。数学。结构。计算。科学。25(4), 978–1004 (2015) ·Zbl 1361.68158号 ·网址：10.1017/S0960129513001008
[6] Bonchi，F.、Gadducci，F.和Monreale，G.V.：倒钩、语境和标签的一般理论。ACM事务处理。计算。逻辑15（4），35:1–35:27（2014）·Zbl 1354.68189号 ·doi:10.1145/2631916
[7] Boreale，M.，De Nicola，R.，Pugliese，R.：跟踪和测试异步过程的等效性。Inf.计算。172(2), 139–164 (2002) ·Zbl 1009.68079号 ·doi:10.1006/inco.2001.3080
[8] 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年
[9] Busi，N.，Gorrieri，R.，Zavataro，G.：比较类Linda语言的三种语义。理论。计算。科学。240(1), 49–90 (2000) ·Zbl 0954.68092号 ·doi:10.1016/S0304-3975（99）00227-3
[10] Busi，N.，Gorrieri，R.：分布式语义\[\圆周率\]-基于带约束弧的Petri网的微积分。逻辑代数程序。78（3）、138–162（2009年）·Zbl 1169.68031号 ·doi:10.1016/j.jlap.2008.08.002
[11] Castellani，I.，Hennessy，M.：异步语言的测试理论。收录：Sarukkai，S.，Arvind，V.（编辑）FST TCS 1998。LNCS，第1530卷，第90-102页。斯普林格，海德堡（1998）·doi:10.1007/978-3-540-49382-29
[12] Degano，P.，De Nicola，R.，Montanari，U.：CCS是一种（增强的）无触点C/E系统。收录：Zilli，M.V.（编辑）《平行语义的数学模型》。LNCS，第280卷，第144-165页。斯普林格，海德堡（1986）·Zbl 0635.68058号
[13] Degano，P.、De Nicola，R.、Montanari，U.：基于条件/事件系统的CCS分布式操作语义。信息学报26（1/2），59–91（1988）·Zbl 0656.68061号 ·doi:10.1007/BF02915446
[14] Degano，P.、Gorrieri，R.、Marchetti，S.：并发练习：作为条件/事件系统的CSP过程。收录：Rozenberg，G.（编辑）APN 1998。LNCS，第340卷，第85-105页。斯普林格，海德堡（1987）·Zbl 0668.68069号
[15] Devillers，R.，Klaudel，H.，Koutny，M.：通用的组合Petri网翻译\[\圆周率\]-微积分术语。形式方面计算。20(4–5), 429–450 (2008) ·Zbl 1152.68036号 ·doi:10.1007/s00165-008-0079-2
[16] 美国高尔茨：CCS和Petri网。摘自：Guessarian，I.（编辑）《并发过程系统的语义》。LNCS，第469卷，第334-357页。施普林格，海德堡（1990）·doi:10.1007/3-540-53479-2_14
[17] Gorrieri，G.，Montanari，U.：SCONE:简单的网演算。收录人：Baeten，J.C.M.，Klop，J.W.（编辑）CONCUR 1990。LNCS，第458卷，第2-31页。斯普林格，海德堡（1990）·doi:10.1007/BFb0039047
[18] Hoare，C.A.R.：通信顺序过程。Prentice Hall，上鞍河（1985）·Zbl 0637.68007号
[19] Honda，K.，Tokoro，M.：异步通信的对象演算。收录：Tokoro，M.，Nierstrasz，O.，Wegner，P.（编辑）ECOOP 1991。LNCS，第612卷，第21-51页。斯普林格，海德堡（1991）
[20] Jenner，L.，Vogler，W.：密集时间内的快速异步系统。理论。计算。科学。254(1–2), 379–422 (2001) ·Zbl 0974.68128号 ·doi:10.1016/S0304-3975（99）00304-7
[21] Leifer，J.J.，Milner，R.：推导反应系统的互模拟同余。收录于：Palamidessi，C.（编辑）CONCUR 2000。LNCS，第1877卷，第243页。斯普林格，海德堡（2000）·Zbl 0999.68141号 ·doi:10.1007/3-540-44618-4_19
[22] Milner，R.：Petri网的双图。收录：Reisig，W.、Desel，J.、Rozenberg，G.（编辑）《并发与Petri网讲座》。LNCS，第3098卷，第686–701页。斯普林格，海德堡（2004）·Zbl 1088.68125号 ·doi:10.1007/978-3-540-27755-2_19
[23] Montanari，U.，Rossi，F.：情境网。信息学报32（6），545–596（1995）·Zbl 0835.68084号 ·doi:10.1007/BF01178907
[24] Sassone，V.，Sobocinnski，P.：Petri网的同余。收录：Mens，T.、Schürr，A.、Taentzer，G.（编辑）PNGT 2004。ENTCS，第127卷，第107-120页。Elsevier（2005）·Zbl 1272.68320号 ·doi:10.1016/j.entcs.2005.02.008
[25] Selinger，P.：异步的分类结构。收录：Brookes，S.，Jung，A.，Mislove，M.，Scedrov，A.（编辑）MFPS 1999。ENTCS，第20卷。爱思唯尔（1999）·Zbl 0924.68109号 ·doi:10.1016/S1571-0661（04）80073-2
[26] Winskel，G.：Petri网上态射的新定义。收录：Fontet，M.，Mehlhorn，K.（编辑）STACS 1984。LNCS，第166卷，第140-150页。施普林格，海德堡（1984）·Zbl 0559.68058号 ·数字对象标识代码：10.1007/3-540-12920-0_13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。