×
董晓菊；伏玉溪；丹尼尔·瓦拉卡

可扩展Petri网。 （英语） Zbl 1425.68292号

正式Asp。计算。 31，第1号，47-58（2019）.

MSC公司：

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

关键词：

Petri网；成分性；互模拟
PDF格式BibTeX公司 XML格式引用
\textit{X.Dong}等人，正式Asp。计算。31，第1号，47-58（2019年；Zbl 1425.68292）
全文： DOI程序

参考文献：

[1] Baldan P，Bonchi F，Gadducci F（2009）使用开放Petri网编码异步交互。包含：CONCUR’09，LNCS，第5710卷，第99-114页·Zbl 1254.68161号
[2] Baldan P、Corradini A、Ehrig H、Heckel R（2001）《使用扩展网络的反应系统合成建模》。包含：CONCUR'01，LNCS，第2154卷，第502-518页·Zbl 1006.68084号
[3] Baldan，P.，Corradini，A.，Ehrig，H.，Heckel，R.：基于确定性过程的开放Petri网的合成语义。数学结构计算科学15（1），1-35（2005）·Zbl 1089.68068号 ·doi:10.1017/S0960129504004311
[4] Baldan P、Corradini A、Ehrig H、Heckel R、König B（2007）开放Petri网的双相似性和行为保护重构。在：CALCO’07，LNCS，第4624卷，第126-142页·Zbl 1214.68243号
[5] Baldan P、Corradini A、Ehrig H、König B（2008）《开放Petri网：非确定性过程和组合性》。In:ICGT'08，LNCS，第5214卷，第257-273页·Zbl 1175.68269号
[6] Best，E.，Devillers，R.，Hall，J.G.：Petri盒演算：具有多标签通信的新因果代数。Petri网的进展，LNCS 609，21-69（1992）
[7] Best E，Devillers R，Koutny M（2001）网络和过程代数的统一模型。收录：Bergstra JA、Ponse A、Smolka SA（eds）《过程代数手册》。Elsevier Science，阿姆斯特丹，第875-944页·Zbl 1006.68101号
[8] Best E，Devillers R，Koutny M（2001）Petri网代数。在：理论计算机科学专著，EATCS系列。柏林施普林格
[9] Bergstra JA，Klop JW（1984）递归定义过程的代数和正则过程的代数。In:ICALP’84，LNCS，第172卷，第82-95页·Zbl 0561.68019号
[10] Busi N，Gorrieri R（1995）《pi-calculus的Petri网语义》。包含：CONCUR’95，LNCS，第962卷，第145-159页
[11] Busi，N.，Gorrieri，R.：基于带抑制器弧的Petri网的π演算的分布式语义。J对数代数程序78（3），138-162（2009）·Zbl 1169.68031号 ·doi:10.1016/j.jlap.2008.08.002
[12] Cao，M.，Wu，Z.，Yang，G.：Pi网——一种新的模块化高级Petri网。上海交通大学学报38（1），52-58（2004）
[13] Devillers R，Klaudel H，Koutny M（2004）有限π演算的Petri网语义。包含：2004年4月，LNCS，第3235卷，第2号，第309-325页·Zbl 1110.68417号
[14] Degano，P.，Nicola，R.D.，Montanari，U.：基于C/e系统的CCS分布式操作语义。《Acta Inform》26，59-91（1988）·Zbl 0656.68061号 ·doi:10.1007/BF02915446
[15] 傅毅（2013）通过值的微积分。内容：编程理论和形式化方法。计算机科学课堂讲稿，第8051卷，第166-195页·Zbl 1390.68469号
[16] Fu，Y.：计算的非确定性结构。数学结构计算科学25，1295-1338（2015）·Zbl 1361.68083号 ·doi:10.1017/S0960129514000012
[17] 傅莹：互动理论。Theor Compute Sci 611，1-49（2016）·Zbl 1353.68082号 ·doi:10.1016/j.tcs.2015年7月43日
[18] 傅毅（2017）《论姓名传播的力量》。地址：CONCUR 2017·Zbl 1442.68140号
[19] Fu，Y.：普遍过程。《对数方法计算科学》13，1-23（2017）·Zbl 1459.68142号
[20] 傅莹、吕慧：论互动的表现力。《计算机科学》4111987-1451（2010）·Zbl 1191.68436号 ·doi:10.1016/j.tcs.09.11.01文件
[21] 傅莹，朱华（2015）《传名演算》。arXiv:1508.00093
[22] 郭X，郝K，侯H，丁J用Pi+演算表示带禁止弧的Petri网。J系统模拟S2:9-12
[23] 美国高尔茨：CCS和Petri网。第章，并发进程系统的语义，LNCS 469，334-357（1990）·doi:10.1007/3-540-53479-2_14
[24] Hao，K.：开放网络——交互式并发系统的模型。西北大学学报27（6），461-466（1997）·Zbl 0908.68115号
[25] Hoare，C.A.R.：传达顺序过程。Commun ACM 21（8），666-677（1978）·Zbl 0383.68028号 ·doi:10.1145/359576.359585
[26] Karp，R.，Miller，R.：并行程序模式。计算机系统科学杂志3147-195（1969）·Zbl 0198.32603号 ·doi:10.1016/S0022-0000（69）80011-5
[27] Koutny M，Esparza J，Best E（1994）《Petri盒演算的操作语义》。包含：CONCUR’94，LNCS，第836卷，第210-225页
[28] Kindler，E.：Petri网组件的组合偏序语义。Petri网的应用和理论，LNCS 1248235-252（1997）·Zbl 1510.68061号
[29] Kosaraju S（1982）向量加法系统可达性的判定。收件人：STOC，第267-281页
[30] Koutny，M.，Best，E.：箱代数的操作语义和指称语义。《计算机科学》211（1-2），1-83（1999）·Zbl 0912.68126号 ·doi:10.1016/S0304-3975（97）00180-1
[31] Lambert，J.：决定Petri网可达性的结构。Theor Compute Sci 99，79-104（1992）·Zbl 0769.68104号 ·doi:10.1016/0304-3975（92）90173-D
[32] Leroux J，Schmitz S（2015）《矢量加法系统中可达性的解密》。日期：LICS 2015·Zbl 1392.68308号
[33] Liu，G.，Jiang，C.，Zhou，M.：交互式Petri网。IEEE Trans-Syst Man-Cybern Syst 43（2），291-302（2013）·doi:10.1109/TSMCA.2012.2204741
[34] Mayr E（1981）一般Petri网可达性问题的算法。收件人：STOC，第238-246页
[35] Meseguer，J.，Montanari，U.：Petri网是幺半群。Inf Compute 88，105-155（1990年）·Zbl 0711.68077号 ·doi:10.1016/0890-5401（90）90013-8
[36] Milner，R.：沟通与并发。Prentice Hall，Upper Saddle River（1989）·Zbl 0683.68008号
[37] Milner R，Sangiorgi D（1992），刺状互模拟。In:ICALP’92，LNCS，第685-695页·Zbl 1425.68298号
[38] Milner R、Parrow J、Walker D（1992）《移动过程演算》。Inf计算1-40（第一部分）、41-77（第二部分）·Zbl 0752.68037号
[39] 尼尔森M（1987）CCS及其与网络理论的关系。在：Petri网：应用程序和与其他并发模型的关系。LNCS，第255卷，第393-415页·兹比尔062668024
[40] Nielsen M、Priese L、Sassone V（1995）《Petri网行为同余的表征》。包含：CONCUR 955，第962卷，第175-189页
[41] Park，D.：无限序列上的并发与自动机，理论计算机科学。LNCS 104、167-183（1981年）·Zbl 0457.68049号
[42] 彼得森，J.：Petri网理论和系统建模。Prentice Hall，Upper Saddle River（1981年）·Zbl 0461.68059号
[43] Priese，L.，Wimmel，H.：Petri网真正一致性和交错语义的统一方法。Theor Compute Sci计算机科学206、219-256（1998）·Zbl 0917.68159号 ·doi:10.1016/S0304-3975（97）00169-2
[44] Priese，L.：关于异步并发系统中的仿真概念。Prog Cybern系统研究7，85-92（1978）·Zbl 0456.68061号
[45] Rackoff，C.：向量加法系统的覆盖和有界问题。Theor Compute Sci 6，223-231（1978）·Zbl 0368.68054号 ·doi:10.1016/0304-3975（78）90036-1
[46] Sacerdote G，Tenney R（1977）向量加法系统可达性问题的可判定性。包含：STOC，第61-76页
[47] van der Aalst，W.：π演算与Petri网：让我们吃“谦逊派”，而不是进一步夸大“π炒作”。BPTrends 3（5），1-5（2005）
[48] van Glabbek R，Weijland W（1989）双模拟语义中的分支时间和抽象。In:信息处理'89，第613-618页·Zbl 0882.68085号
[49] Winskel，G.：事件结构。Petri网：应用和与其他并发模型的关系，LNCS 255，325-392（1987）·Zbl 0626.68022号
[50] Yu，Z.，Cai，Y.，Xu，H.：Pi演算的Petri网语义。控制决策22（8），864-868（2007）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。