奥拉夫·库默;马克·奥利弗·斯特尔 Petri的并发公理。近期结果精选。 (英语) Zbl 1510.68064号 Azéma,Pierre(编辑)等人,《Petri网的应用和理论》,1997年。第18届国际会议,1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1248, 195-214 (1997). 摘要:由卡尔·亚当·佩特里发展的并发理论是并发二元关系的公理化理论(合作)和因果关系(锂). 这项工作处理公理之间的交互,并研究并发结构的属性,即该理论的模型。与其他处理方法相比,并发理论将以其一般形式进行研究,这不需要潜在的部分因果关系。通过反例说明了一些困难,并提出和分析了原始公理集的可能扩展。关于整个系列,请参见[Zbl 1499.68007号]. 引用于三文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:并发公理理论;因果关系 PDF格式BibTeX公司 XML格式引用 \textit{O.Kummer}和\textit{M.-O.Stehr},莱克特。注释计算。科学。1248195-214(1997;Zbl 1510.68064) 全文: DOI程序 参考文献: [1] E.贝斯特和C.费尔南德斯。非顺序过程——Petri网视图,第13卷,共13卷EATCS理论计算机科学专著Springer-Verlag出版社,1988年·Zbl 0656.68005号 [2] E.贝斯特和A.Merceron。并发公理和D-连续偏序集。编辑G.Rozenberg,1984年Petri网的进展,第188卷,共页计算机科学课堂讲稿,第32-47页。斯普林格·弗拉格,1985年。简写版·Zbl 0603.68060号 [3] C.Fernandez和P.S.Thiagarajan。关于D-连续因果网的注记。编辑A.Pagnoni和G.Rozenberg,Petri网1982的应用与理论,第66卷,共信息-Fachberichte,第86-97页。斯普林格·弗拉格,1983年·Zbl 0521.68063号 [4] C.Fernandez和P.S.Thiagarajan。D-连续因果网络:一个非序列过程的模型。理论计算机科学, 28:171-196, 1984. ·Zbl 0531.68016号 [5] O.Kummer。Nebenäufigkeit理论的公理系统《Logos Verlag》,柏林,1996年。 [6] C.A.Petri,Nicht-quentielle Prozesse。ISF-Bericht ISF-76-6,第三版,GMD,圣奥古斯丁,1977年。 [7] C.A.Petri。并发性是系统思维的基础。在编辑F.V.Jensen、B.H.Mayoh和K.K.Moller中,程序。来自第五届斯堪的纳维亚逻辑研讨会,1979年1月,奥尔堡第143-162页,奥尔堡,1979年。拉格大学·Zbl 0434.68041号 [8] C.A.Petri。并发。编辑W.Brauer,网络理论与应用程序。过程和系统的一般网络理论高级课程,第84卷,共计算机科学课堂讲稿,第251-260页。斯普林格·弗拉格,1980年·Zbl 0434.68040号 [9] 物理和计算中的状态转换结构。国际理论物理杂志, 21(12):979-992, 1982. ·Zbl 0497.68031号 [10] C.A.Petri。并发理论。编辑W.Brauer、W.Reisig和G.Rozenberg,1986年Petri网的进展,第254卷,共计算机科学课堂讲稿,第4-24页。Springer-Verlag,1987年·Zbl 0669.68045号 [11] C.A.Petri。并发理论。汉堡大学讲稿,Fachbereich Informatik,1988年。 [12] C.A.Petri,Vollständige Signalordnung公司。课堂讲稿,汉堡大学,Fachbereich Informatik,1989年。 [13] C.A.Petri,《私人通信》,1994年3月。 [14] C.A.Petri,网络,时间和空间。理论计算机科学,153(1-2):1996年3月至48日·Zbl 0872.68127号 [15] C.A.Petri和E.Smith。并发性和连续性。编辑G.Rozenberg,1987年Petri网的进展,第266卷,共页计算机科学课堂讲稿第273-292页,柏林,1987年。斯普林格·弗拉格·Zbl 0671.68026号 [16] E.史密斯。Zur Bedetung der Concurrency-Theorie für den Aufbau hochverteilter系统.,第180卷,共Berichte der GMD公司GMD,圣奥古斯丁,1989年。 [17] M.-O.斯特尔。物理动机公理并发理论——一种无姿态的方法。汉堡大学Studienarbeit,Fachbereich Informatik,1993年。 [18] M.-O.斯特尔。循环和非循环过程的并发理论。Fachbereichsberich FBI-HH-B-190/96,汉堡大学,Fachbereic Informatik,1996年。本报告是[17]的修订版。 [19] M.-O.斯特尔。Zyklicische Ordnungen-Axiome和einfache Eigenschaften。Diplorabeit,汉堡大学,Fachbereich Informatik,1996年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。