×
奥拉夫·库默;马克·奥利弗·斯特尔

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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。