×

基本过渡系统。 (英语) Zbl 0759.68022号

基本网络系统之间的关系[M.尼尔森G.罗森伯格P.S.Thiagarajan先生《基本网络系统的行为概念》,分布式计算4,45-57(1990);P.S.Thiagarajan先生,莱克特。注释计算。科学。254,26-59(1986年;Zbl 0636.68063号);G.罗森伯格,莱克特。注释计算。科学。254, 60-94 (1986;Zbl 0636.68064号)]过渡系统是通过初等过渡系统的概念来研究的,它表示所有过渡系统类的一个子类。它显示了基本网络系统之间的行为保持转换与基本转换系统之间的转换是如何对应的。借助范畴理论,研究了过渡系统之间的网络态射和各种其他态射。这部作品是[loc.cit.]和其他相关作品的好伴侣。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] IJ阿尔伯斯堡。J。;Rozenberg,G.,《痕迹理论》(技术报告第86-16号(1986年),莱顿大学应用数学和计算机科学研究所:荷兰莱顿大学,应用数学和计算科学研究所)
[2] 贝斯特,E。;Fernandez,C.,《非连续过程:Petri网观点》,第13卷(1988),Springer:Springer Berlin,EATCS理论计算机科学专著·Zbl 0656.68005号
[3] 戴塞尔,J。;Merceron,A.,关于网络形态的邻近性,(Petri网进展1990,第483卷(1990),Springer:Springer Berlin),165-185,计算机科学讲义
[4] 埃伦费奇特,A。;Rozenberg,G.,《部分2-结构》,《信息学报》。,27,348-368(1990),第二部分:并发系统的状态空间·Zbl 0696.68083号
[5] Johnstone,P.T.,《石头空间》,第3卷(1982年),剑桥大学出版社:剑桥大学出版社,剑桥高等数学研究·Zbl 0499.54001号
[6] 麦克莱恩,S.,《工作数学家的分类》,第5卷(1971年),《施普林格:施普林格·柏林》,数学研究生教材
[7] Mazurkiewicz,A.,(de Bakker,J.W.;de Roever,W.P.;Rozenberg,G.,《迹理论的基本概念》,354(1989),施普林格:施普林格-柏林),285-363,计算机科学讲稿·Zbl 0683.68032号
[8] 梅塞盖尔,J。;Montanari,U.,《Petri网是幺半群:网理论的新代数基础》,(IEEE Proc.Logics in Computer Science 1988(1988),IEEE Computer Soc.Press.IEEE Compute Soc.Press.Washington,DC),155-164
[9] 尼尔森,M。;Plotkin,G。;Winskel,G.,Petri网,事件结构和域,第一部分,理论。计算。科学。,13, 85-108 (1981) ·Zbl 0452.68067号
[10] 尼尔森,M。;Rozenberg,G。;Thiagarajan,P.S.,《基本网络系统的行为概念》,分布式计算,4,45-57(1990)
[11] Petri,C.A.,网络理论的概念,(计算机科学的数学基础:研讨会和暑期学校会议录(1973),斯洛伐克科学院数学研究所高等专科学校),137-146·Zbl 1027.68642号
[12] Petri,C.A.,《非连续过程》(内部Bericht ISF-77-5(1977),《圣奥古斯丁:Gesellschaft für Mathematik und Datenverabeitung:St.Augustin:Gesellschart für-Mathematic und Datenverabeitong Bonn》)
[13] Reisig,W。;Smid,E.,《网络的语义是一般网络理论中的一个网络——一个练习》(Voss,K.;Genrich,H.J.,《并发与网络》(1987),Springer:Springer-Berlin),461-480
[14] Rozenberg,G.,《基本网络系统的行为》,(Bauer,W.;Reisig,W.)·Zbl 0636.68064号
[15] Thiagarajan,P.S.,《基本网络系统》(Bauer,W.;Reisig,W.,Rozenberg,G.,《Petri网的进展》,1986年,第一部分,第254卷(1987年),Springer:Springer Berlin),26-59,计算机科学讲稿·Zbl 0636.68063号
[16] Winskel,G.,《并发性讲义》(1982年),卡内基梅隆大学计算机科学系
[17] Winskel,G.,同步树,Theoret。计算。科学。,34, 33-82 (1984) ·Zbl 0985.68514号
[18] Winskel,G.,《事件结构》(Bauer,W.;Reisig,W.,Rozenberg,G.),《Petri网的进展》,1986年,第二部分,第255卷(1987),Springer:Springer Berlin),325-392,计算机科学讲稿
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。