雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼 一般（pi）演算术语的组合Petri网翻译。 （英语） Zbl 1152.68036号 正式Asp。计算。 20，编号4-5，429-450（2008）. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;作文翻译;流动性;进程代数 软件：MWB公司;政治公众人物 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人，正式Asp。计算。20，编号4--5，429--450（2008；Zbl 1152.68036） 全文： 内政部 参考文献： [1] Best E，Devillers R，Koutny M（2001）Petri网代数。EATCS Monogr TCS，海德堡斯普林格·Zbl 0968.68110号 [2] Best E，Devillers R（1988），Petri网理论中的顺序和并发行为。计算机科学理论55:87–136·Zbl 0669.68043号 ·doi:10.1016/0304-3975（87）90090-9 [3] Best E，Fraczak W，Hopkins RP，Klaudel H，Pelz E（1998）M-网：高级Petri网的代数，应用于并发编程语言的语义。信息学报35:813–857·Zbl 0917.68160号 ·doi:10.1007/s002360050144 [4] Boreale M，Sangiorgi D（1995）{\（\pi\）}-演算中因果关系的完全抽象语义。摘自：1995年STACS会议记录。斯普林格，海德堡，LNCS，第900卷，第243-254页·兹比尔0908.68103 [5] Busi N，Gorrieri R（1995）{\（\pi\）}-演算的Petri网语义。收录于：CONCUR 1995年会议记录，LNCS，第962卷，第145-159页 [6] Cattani GL，Sewell P（2000），姓名传递过程模型：交错和因果。摘自：LICS 2000会议记录。IEEE CS Press，Los Alamitos，第322–333页 [7] Cattani GL，Sewell P（2000），姓名传递过程模型：交错和因果。技术报告TR-505，剑桥大学·Zbl 1101.68693号 [8] Christensen S，Hansen ND（1993）彩色Petri网扩展了位置容量、测试弧和抑制弧。收录于：ICATPN 1993年会议记录。斯普林格，海德堡，LNCS，第691卷，第186-205页 [9] Devillers R，Klaudel H（2004）通过有限表示求解Petri网递归。摘自：IASTED 2004年会议记录。纽约ACTA出版社，第145-150页 [10] Devillers R，Klaudel H，Koutny M（2006）《一个简单进程代数的Petri网语义》（A Petri net semantics of A simple process algebra for mobility）。计算机科学电子笔记154:71–94·doi:10.1016/j.entcs.2006.05.008 [11] Devillers R，Klaudel H，Koutny M（2006）有限{\（\pi\）}-演算项的Petri网语义。Fundam Inf 70:1–24岁·Zbl 1095.68062号 [12] Devillers R，Klaudel H，Koutny M（2006）{\（\pi\）}-演算术语的Petri网翻译。ICTAC 2006，LNCS，第4281卷，第138-152页·Zbl 1168.68437号 [13] Devillers R，Klaudel H，Riemann R-C（2003）M-net演算的一般参数化求精和递归。Theor Compute Sci 300:235–258计算机科学300·Zbl 1028.68092号 ·doi:10.1016/S0304-3975（02）00088-9 [14] Devillers R，Klaudel H，Koutny M，Pommereau F（2003）《异步盒演算》。Fundam信息54:295–344·Zbl 1111.68536号 [15] Engelfriet J（1996）带复制的{\（\pi\）}演算的多集语义。计算机科学理论153:65-94·Zbl 0872.68125号 ·doi:10.1016/0304-3975（95）00118-2 [16] Grahlmann B，Best E（1996）政治公众人物——不仅仅是一个Petri网工具。载于：《1996年TACAS会议记录》。斯普林格，海德堡，LNCS，第1055卷，第397-401页 [17] Haddad S，Poitrenaud D（2000）用递归Petri网建模和分析系统。收录于：WODES 2000年会议记录。多德雷赫特·克鲁沃，第449–458页·Zbl 1009.68090号 [18] Khomenko V（2003）基于Petri网展开前缀的模型检查。纽卡斯尔大学计算科学学院博士论文·Zbl 1072.68072号 [19] Kiehn A（1990）Petri网系统及其闭包性质。摘自：Rozenberg G（ed）《Petri网的进展》，1989年。斯普林格，海德堡，LNCS，第424卷，第306–328页 [20] Khomenko V，Koutny M，Niaouris A（2006）应用Petri网展开验证移动系统。技术报告CS-TR-953，纽卡斯尔大学。In:MOCA 2006的后期制作（待发布） [21] Milner R（1989）通信与并发。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0683.68008号 [22] 移动工作台。乌普萨拉大学。http://www.it.uu.se/research/group/mobility/mwb [23] Montanari U，Pistore M（1995）{\（\pi\）}-演算的并发语义。摘自：《1995年MFPS会议录》，计算机科学电子笔记，第1卷。阿姆斯特丹爱思唯尔出版社，第1-19页 [24] Montanari U，Pistore M（2001）历史依赖自动机。技术报告0112-14，文化研究所·Zbl 0925.68289号 [25] Milner R、Parrow J、Walker D（1992）《移动过程演算》。Inf计算100:1–77·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4 [26] Parrow J（2001）{\（\pi\）}-演算简介。收录于：Bergstra J、Ponse A、Smolka S（eds）《过程代数手册》。阿姆斯特丹爱思唯尔出版社，第479–543页·Zbl 1035.68071号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。