×

出现网中的正交模格。 (英语) Zbl 1242.68174号

Franceschinis,Giuliana(编辑)等人,《Petri网的应用和理论》。第30届国际会议,PETRI NETS 2009,巴黎,法国,2009年6月22-26日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02423-8/pbk)。计算机科学课堂讲稿5606163-182(2009)。
摘要:在本文中,我们研究了与发生网相关的偏序结构。事件网具有对称但通常不可传递的并发关系。通过应用格理论中的已知技术,可以从任何此类关系导出闭包算子,然后导出正交补格。我们证明了,对于一般的一类发生网,由网元的闭子集构成的格是正交模的。从狭义相对论背景下定义的Minkowski时空的同时性关系出发,也得到了类似的结果。我们刻画了闭集,并研究了由发生网导出的格的几个性质;我们特别关注与K密度相关的特性。我们简要讨论了该结构的一些变体,表明如果我们放弃条件,只保留事件的偏序,那么相应的格通常不是正交模。
关于整个系列,请参见[Zbl 1165.68011号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
06第15页 补格、正交补格和偏序集
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Petri,C.A.:非连续过程。《ISF-77–5技术报告》,波恩GMD(1977年),纽伦堡埃朗根大学(1976年6月)IMMD周年学术讨论会“计算机科学中的并行性”演讲译文
[2] Best,E.,Fernandez,C.:非顺序过程——Petri网视图。EATCS理论计算机科学专著,第13卷。斯普林格,海德堡(1988)·Zbl 0656.68005号 ·doi:10.1007/978-3-642-73483-0
[3] Wolfram,S.:一种新的科学。Wolfram媒体(2002)·Zbl 1022.68084号
[4] Petri,C.A.:Rechnender netzraum。Wissenschaft,Spektrum der Wissenshaft,Spezial 3/07:是计算机中的通用吗?16–19 (2007)
[5] Petri,C.A.:基于信息流的物理基础——抽象。收录人:van Hee,K.M.,Valk,R.(编辑)PETRI NETS 2008。LNCS,第5062卷,第12页。斯普林格,海德堡(2008)·Zbl 05297094号 ·doi:10.1007/978-3-540-68746-7_5
[6] Bombelli,L.,Lee,J.,Meyer,D.,Sorkin,R.:时空作为因果集。物理。修订稿。60521-524(1985年)
[7] Abramsky,S.:Petri网、离散物理和分布式量子计算。摘自:Degano,P.、De Nicola,R.、Meseguer,J.(编辑)《并发、图和模型》。LNCS,第5065卷,第527-543页。斯普林格,海德堡(2008)·Zbl 1143.68468号 ·doi:10.1007/978-3-540-68679-8_33
[8] Cegła,W.,Jadczyk,Z.:Minkowski空间的因果逻辑。Commun公司。数学。物理学。 57, 213–217 (1977) ·Zbl 0393.03046号 ·doi:10.1007/BF01614163
[9] Casini,H.:因果闭合时空子集的逻辑。班级。量子引力。196389–6404(2002年)·Zbl 1039.83002号 ·doi:10.1088/0264-9381/19/24/308
[10] Fernandez,C.,Thiagarajan,P.S.:关于k密度的晶格理论观点。Arbeitspapiere der GMD,n.76(1983)·Zbl 0521.68063号
[11] Nielsen,M.,Plotkin,G.D.,Winskel,G.:Petri网,事件结构和域,第一部分,理论计算机科学13,85–108(1981)·Zbl 0452.68067号 ·doi:10.1016/0304-3975(81)90112-2
[12] Petri,C.A.:网络、时间和空间。理论计算机科学153,3–48(1996)·Zbl 0872.68127号 ·doi:10.1016/0304-3975(95)00116-6
[13] Pták,P.,Pumannová,P.:作为量子逻辑的正交模结构。Kluwer学术出版社,多德雷赫特(1991)·Zbl 0743.03039号
[14] Beltrametti,E.G.,Cassinelli,G.:量子力学的逻辑。数学及其应用百科全书,第15卷。Addison-Wesley,雷丁(1981)·兹伯利0491.03023
[15] Birkhoff,G.:晶格理论,第三版。美国数学学会(1979)·Zbl 0505.06001号
[16] Davey,B.A.,Priestley,H.A.:格与秩序导论。剑桥大学出版社,剑桥(1990)·兹比尔0701.06001
[17] Petri,C.A.:网络理论的概念。收录:计算机科学数学基础:Proc。《研讨会和暑期学校》,高塔特拉斯出版社,1973年9月3日至8日,第137-146页。数学。斯洛伐克科学院研究所。科学(1973)
[18] Kummer,O.,Stehr,M.O.:Petri并发公理:近期结果精选。In:Azéma,P.,Balbo,G.(编辑)ICATPN 1997。LNCS,第1248卷,第195-214页。斯普林格,海德堡(1997)·doi:10.1007/3-540-663139-9_37
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。