×
卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡尼亚，罗马

出现网中的正交模格。 （英语） 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密度相关的特性。我们简要讨论了该结构的一些变体，表明如果我们放弃条件，只保留事件的偏序，那么相应的格通常不是正交模。
关于整个系列，请参见[兹比尔1165.68011].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
06第15页 补格、正交补格和偏序集
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Lect。注释计算。科学。5606163--182（2009年；Zbl 1242.68174）
全文： 内政部

参考文献：

[1] Petri，C.A.：非连续过程。技术报告ISF-77-5，GMD波恩（1977），爱尔兰根大学纽伦堡分校IMMD周年学术讨论会上关于“计算机科学中的并行性”的讲座翻译（1976年6月）
[2] Best，E.，Fernandez，C.：非顺序过程——Petri网视图。EATCS理论计算机科学专著，第13卷。斯普林格，海德堡（1988）·Zbl 0656.68005号 ·doi:10.1007/978-3-642-73483-0
[3] Wolfram，S.：一种新的科学。Wolfram Media（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.：时空作为因果集。物理学。修订稿。 60, 521–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.：因果闭合时空子集的逻辑。班级。量子引力。 19, 6389–6404 (2002) ·兹比尔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）·Zbl 0491.03023号
[15] Birkhoff，G.：《晶格理论》，第三版。美国数学学会（1979）·Zbl 0505.06001号
[16] Davey，B.A.，Priestley，H.A.：格与秩序导论。剑桥大学出版社，剑桥（1990）·Zbl 0701.06001号
[17] Petri，C.A.：网络理论的概念。In：计算机科学数学基础：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-63139-9_37
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。