卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡妮娅·隆博拉 出现网中的正交模格。 (英语) 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格式引用 \textit{L.Bernardinello}等人,Lect。注释计算。科学。56066163-182(2009年;兹比尔1242.68174) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。