×
何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松

Place/Transition Petri网的过程与展开语义。 （英语） Zbl 0872.68130号

西奥。计算。科学。 153，编号1-2，171-210（1996）.
摘要：在过去的几年中，Petri网的语义已经通过几种不同的方式进行了研究。除了经典的“令牌博弈”之外，人们还可以通过非序列过程、展开构造（提供网和域之间的形式关系）和代数模型（将Petri网视为本质上的代数理论，其模型是单体范畴）来建模Petri网的行为。我们表明，这三种观点是可以调和的。在我们的正式开发中，DecOcc扮演了一个相关的角色，这是一类经过适当修饰的事件网络，以考虑到代币的历史。修饰发生网的结构同时为Place/Transition（PT）网提供了自然展开，并提出了一种新的过程概念，即修饰过程，它在Petri网上诱导了与展开相同的语义。此外，我们证明了网的修饰过程可以公理化为对称单体范畴的箭头，从而提供了上述统一。

引用于14文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

非顺序过程;展开构造;单体范畴;装饰出现网;放置/转换网络;装饰工艺
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}等人，Theor。计算。科学。153，编号1--2，171-210（1996；Zbl 0872.68130）
全文： DOI程序 链接

参考文献：

[1] Berry，G.，λ型结石的稳定模型，（Ausiello，G.；Böhm，C.，Proc.ICALP’78。程序。ICALP’78，计算机科学讲义，第62卷（1978），施普林格：施普林格柏林），72-89
[2] 贝斯特，E。；Devillers，R.，《Petri网理论中的顺序和并发行为》，Theoret。计算。科学。，第5587-136页（1987年）·Zbl 0669.68043号
[3] 布朗，C。；Gurr，D.，《Petri网的分类线性框架》，（第五届LICS研讨会（1990），IEEE计算机学会出版社：IEEE计算机协会出版社Los Alamitos），208-218
[4] 布朗，C。；Gurr，D。；de Paiva，V.，Petri网线性规范语言，（技术报告DAIMI PB-363（1991），奥胡斯大学计算机科学系）
[5] Degano，P。；德尼古拉，R。；Montanari，U.，基于条件/事件系统的CCS分布式操作语义，Acta Inform。，26, 59-91 (1988) ·Zbl 0656.68061号
[6] Degano，P。；梅塞盖尔，J。；Montanari，U.，《公理化网络计算和过程》（第四届LICS交响乐团会议录，1989年），IEEE计算机协会。出版社：IEEE Computer Soci。Press Los Alamitos），175-185年·Zbl 0722.68085号
[7] Degano，P。；梅塞盖尔，J。；Montanari，U.（技术报告TR 1/91（1991））·Zbl 0849.68087号
[8] Engelfriet，J.，Petri网的分支过程，信息学报。，28, 575-591 (1991) ·Zbl 0743.68106号
[9] 范·格拉贝克，R。；Vaandrager，F.，并发代数理论的Petri网模型，（de Bakker，J.W.；Nijman，A.J.；Trelevan，P.C.，Proc.PARLE.Proc.PARRE，计算机科学讲稿，第259卷（1987），Springer:Springer Berlin），224-242·Zbl 0633.68054号
[10] 美国高尔茨。；Reisig，W.，Petri网的非顺序行为，Inform。和计算。，57, 125-147 (1983) ·兹伯利0551.68050
[11] 胡格斯，P.W。；Kleijn，H.C.M。；Thiagarajan，P.S.，《局部事件结构和Petri网》，（Best，E.，Proc.CONCUR’93）。程序。CONCUR’93，计算机科学讲稿，第715卷（1993），施普林格：施普林格柏林），462-476·Zbl 0872.68126号
[12] MacLane，S.，《工作数学家的类别》（1971），《施普林格：施普林格·柏林》·Zbl 0232.18001号
[13] 新墨西哥州马丁·奥列特。；Meseguer，J.，《通过类别从Petri网到线性逻辑：一项调查》，国际出版社。基础计算。科学。，2, 297-399 (1991) ·Zbl 0766.68100号
[14] 梅塞盖尔，J。；美国蒙塔纳里，Petri网是幺半群，Inform。和计算。，88105-154（1990年）·Zbl 0711.68077号
[15] 梅塞盖尔，J。；蒙塔纳里，美国。；Sassone，V.，《关于Petri网的语义》，（Cleaveland，R.，Proc.CONCUR’92）。程序。CONCUR’92，计算机科学讲稿，第630卷（1992），施普林格：施普林格柏林），286-301
[16] 梅塞盖尔，J。；蒙塔纳里，美国。；Sassone，V.（技术报告SRI-CSL-92-09（1992））·Zbl 0966.68108号
[17] 梅塞盖尔，J。；蒙塔纳里，美国。；Sassone，V.，《关于位置/转移Petri网的计算模型》，（Valette，R.，Proc.15th Internat.Conf.On Application and Theory of Petri nets.Proc.15st Internat.Conf.On Application and Theory's Petri nets，Teach Notes in Computer Science，Vol.815（1994），Springer:Springer Berlin），16-38
[18] Mukund，M.，Petri网和阶跃转换系统，国际。基础计算。科学。，3, 443-478 (1992) ·Zbl 0774.68086号
[19] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，第1部分，理论。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[20] 尼尔森，M。；Rozenberg，G。；Thiagarajan，P.S.，《基本网络系统的行为概念》，分布式计算。，4, 45-57 (1990)
[21] Olderog，E.R.，《CCSP的Petri网语义》，（Brauer，W.；Reisig，W.，Rozenberg，G.，《1986年Petri网的进展》，第二部分，《1986年度Petri网进展》，《第二部分：计算机科学讲义》，第255卷（1987），施普林格：施普林格-柏林），196-223·Zbl 0636.68072号
[22] Petri，C.A.，Kommunikation mit Automaten（1962年博士论文，德国波恩仪器仪表数学研究所）
[23] Petri，C.A.，《网络理论的概念》（MFCS’73（1973），斯洛伐克科学院数学研究所），137-146·Zbl 1027.68642号
[24] Petri，C.A.，《非连续过程》，（内部Bericht ISF-77-5（1977），Gesellschaft für Mathematik und Datenverabeitung：Gesellschart für-Mathematic und Datenverabeitong Bonn）
[25] Reisig，W.，Petri Nets（1985），《施普林格：柏林施普林格》·兹伯利0521.68057
[26] Rozenberg，G。；Thiagarajan，P.S.，《Petri网：基本概念、结构、行为》，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，《并发的当前趋势》，《并发中的当前趋势，计算机科学讲义》，第244卷（1986），施普林格：施普林格-柏林），585-668·Zbl 0607.68045号
[27] Sassone，V.，公理化Petri网级联过程，（Reichel，H.，《计算机科学讲义》，第965卷（1995），Springer:Springer-Berlin），414-423，一个扩展摘要显示为·Zbl 1508.68252号
[28] Sassone，V.，《关于级联过程的一些评论》（技术报告TR 6/94（1994），比萨大学信息学院）
[29] Sassone，V.，《净计算范畴的一种方法》（第六届北欧编程理论研讨会论文集（1994年）），扩展摘要如下·Zbl 1093.68526号
[30] Sassone，V.，《关于Petri网计算的范畴》（Mosses，P.D.；Nielsen，M.；Schwartzbach，M.I.，Proc.TAP-SOFT’95）。程序。TAP-SOFT’95，《计算机科学讲义》，第915卷（1995年），施普林格：施普林格柏林），334-348·Zbl 1496.68245号
[31] 萨索内，V。；梅塞盖尔，J。；Montanari，U.，ω-单体范畴的归纳完备和无限Petri网计算，（在语义学拓扑与补全研讨会布莱斯·帕斯卡研究所（1993），法国沙特尔
[32] Scott，D.，《计算数学理论纲要》（Proc.4th Ann.Princeton Conf.on Information Science and Systems（1970）），169-176
[33] 奥胡斯大学计算机科学系DAIMI PB-159技术报告提供了扩展版本。；奥胡斯大学计算机科学系DAIMI PB-159技术报告提供了扩展版。
[34] Winskel，G.，《事件结构》（Brauer，W.；Reisig，W.，Rozenberg，G.），《1986年Petri网的进展》，第二部分。《1986年Petri网的进步》，第II部分，《计算机科学讲义》，第255卷（1987），《Springer:Springer Berlin》，325-392·Zbl 0626.68022号
[35] Winskel，G.，Petri网，代数，形态和合成，Inform。和计算。，72, 197-238 (1987) ·Zbl 0622.68052号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。