×
里扎德·贾尼基;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基

步骤跟踪。 （英语） Zbl 1335.68173号

学报信息。 53，第1期，35-65（2016）.
摘要：在经典的Mazurkiewicz跟踪方法中，并发系统的行为是根据顺序观察来描述的，这些顺序观察只在独立动作的顺序上有所不同。本文研究了跟踪模型的一个扩展，即动作可以同时发生。因此，观察是一系列步骤，即一系列动作。这导致了基于事件之间三种关系的步进跟踪模型：同时性、串行性和交错性。虽然轨迹的潜在因果结构基于导致部分顺序解释的动作之间的依赖性，但需要更一般的因果结构来描述步骤轨迹中动作发生之间的不变关系。我们给出了一个完整的图片，包括扩展依赖图的依赖结构，以及根据不变阶结构对步进轨迹的表征。

引用于6文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

阶跃跟踪;因果关系;独立;同时性;可串行化;序列可列性;交错;扩展并发字母表;依赖关系图;依赖结构;不变序结构
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}等人，Acta Inf.53，No.1，35-65（2016；Zbl 1335.68173）
全文： 内政部

参考文献：

[1] Baldan，P.，Busi，N.，Corradini，A.，Pinna，G.M.：带读弧和抑制弧的Petri网的域和事件结构语义。Inf.计算。323, 129-189 (2004) ·Zbl 1078.68103号
[2] Biermann，I.，Rozoy，B.：可靠的广义和上下文相关交换关系。收录于：TAPSOFT’97，《计算机科学讲义》，第1214卷，第165-176页。柏林施普林格（1997）
[3] Busi，N.，Pinna，G.M.：带抑制器和读取弧的位置/转换网络的过程语义。芬达姆。通知。40(2-3), 165-197 (1999) ·Zbl 0942.68070号
[4] Clerbout，M.：交换部分和语言系列。里尔大学博士论文（1984年）
[5] Diekert，V.，Gastin，P.，Petit，A.：可识别的复杂跟踪语言。收录于：MFCS 1991，《计算机科学讲义》，第520卷，第131-140页。柏林施普林格（1991）·Zbl 0777.68057号
[6] Diekert，V.，Rozenberg，G.（编辑）：《痕迹之书》。《世界科学》，新加坡（1995年）
[7] Gaifman，H.，Pratt，V.R.：并发和函数计算的偏序模型。收录于：LICS，第72-85页。IEEE计算机学会，马里兰州银泉（1987）
[8] Gastin，P.：无限轨迹。摘自：《并发过程系统的语义》，1990年，《计算机科学讲义》，第469卷，第277-308页。柏林施普林格（1990）·兹比尔1154.68448
[9] 钩臂，HJ；Rozenberg，G。；Diekert，V.（编辑）；Rozenberg，G.（编辑），依赖图，43-67（1995），新加坡·doi:10.1142/9789814261456_0002
[10] Hoogers，P.W.，Kleijn，H.C.M.，Thiagarajan，P.S.：Petri网的跟踪语义。Inf.计算。117(1), 98-114 (1995) ·Zbl 0826.68085号 ·doi:10.1006/inco.1995.1032
[11] Hung，D.V.，Knuth，E.：半交换和Petri网。西奥。计算。科学。64, 67-81 (1989) ·兹比尔0679.68049 ·doi:10.1016/0304-3975（89）90098-4
[12] Janicki，R.，Kleijn，J.，Koutny，M.，Mikulski，Ł：一般并发行为的因果结构。收录于：M.S.Szczuka，L.Czaja，M.Kacprzak（编辑）CS&P，CEUR研讨会论文集，第1032卷，第193-205页。CEUR-WS.org（2013）·Zbl 1497.68344号
[13] Janicki，R.，Kleijn，J.，Koutny，M.，Mikulski，Ł：概括记录道。TR-CS 1436，纽卡斯尔大学（2014）·Zbl 1335.68173号
[14] Janicki，R.，Kleijn，J.，Koutny，M.，Mikulski，Ł：以并发历史为特征。芬达姆。通知。139, 21-42 (2015) ·Zbl 1334.68153号 ·doi:10.3233/FI-2015-1224
[15] Janicki，R.，Kleijn，J.，Koutny，M.，Mikulski，L.：广义迹子类的顺序结构。收录于：LATA 2015，《计算机科学讲义》，第8977卷，第689-700页。柏林施普林格出版社（2015）·Zbl 1423.68309号
[16] Janicki，R.，Koutny，M.：并发理论的不变量和范式。收录于：1991年PARLE，《计算机科学讲义》，第506卷，第59-74页。柏林施普林格（1991）·Zbl 0731.68083号
[17] Janicki，R.，Koutny，M.：并发结构。西奥。计算。科学。112(1), 5-52 (1993) ·Zbl 0814.68061号 ·doi:10.1016/0304-3975（93）90238-O
[18] Janicki，R.，Koutny，M.：抑制剂网络的语义。Inf.计算。123（1），1-16（1995）·Zbl 1096.68678号 ·doi:10.1006/inco.1995.1153
[19] Janicki，R.，Le，D.T.M.：使用comtrace和广义comtrace建模并发。Inf.计算。209(11), 1355-1389 (2011) ·Zbl 1244.68057号 ·doi:10.1016/j.ic.2011-08.001
[20] Janicki，R.，Yin，X.，Zubkova，N.：用部分交换幺半群建模区间序结构。收录于：CONCUR 2012，《计算机科学讲义》，第7454卷，第425-439页。柏林施普林格出版社（2012）·Zbl 1364.68288号
[21] Juhás，G.，Lorenz，R.，Mauser，s.：区分并发性和同步性的代数Petri网的因果语义。芬达姆。通知。86（3），255-298（2008）·Zbl 1159.68517号
[22] Juhás，G.，Lorenz，R.，Mauser，s.：Petri网的完整过程语义。芬达姆。通知。87(3-4), 331-365 (2008) ·Zbl 1154.68448号
[23] Juhás，G.，Lorenz，R.，Neumair，C.：用信号网络模块合成受控行为。收录于：ICATPN 2004，《计算机科学讲义》，第3099卷，第238-257页。施普林格，柏林（2004）·Zbl 1094.68585号
[24] Kleijn，J。；库特尼，M。；Enguix，GB（编辑）；Jiménez-López，医学博士（编辑）；Martín-Vide，C.（编辑），《形式语言和并发行为》，第113、125-182（2008）号，柏林·Zbl 1155.68043号
[25] Kleijn，J.，Koutny，M.：一般初等网络过程和迹中的多重因果关系。芬达姆。通知。122(1-2), 119-146 (2013) ·Zbl 1283.68248号
[26] Kuske，D.，Morin，R.：局部跟踪语言的Pomsets——可识别性、逻辑和Petri网。CONCUR 2000，《计算机科学讲义》，第1877卷，第426-441页。施普林格，柏林（2000）·Zbl 0999.68530号
[27] Lamport，L.：互斥问题：第一部分，进程间通信理论。《美国医学会期刊》33（2），313-326（1986）·Zbl 0627.68017号 ·doi:10.1145/5383.5384
[28] Le，D.T.M.：关于组合痕迹的三种替代特征。芬达姆。通知。113(3-4), 265-293 (2011) ·Zbl 1290.68096号
[29] Mazurkiewicz，A.：并发程序方案及其解释。DAIMI Rep.PB 78，奥胡斯大学（1977年）·兹比尔0679.68049
[30] Mazurkiewicz，A.W.：痕迹理论。In：Petri网：中心模型及其属性，《Petri网进展》，1986年，第二部分，《计算机科学讲义》，第255卷，第279-324页。柏林施普林格（1987）·Zbl 0622.68034号
[31] Mazurkiewicz，A.W.：痕迹理论的基本概念。收录于：J.W.de Bakker，W.P.de Roever，G.Rozenberg（编辑）REX Workshop，《计算机科学讲义》，第354卷，第285-363页。柏林施普林格（1988）·Zbl 1016.68051号
[32] 米库尔斯基。，Koutny，M.：组合痕迹的折叠Hasse图。信息处理。莱特。114(4), 208-216 (2014) ·Zbl 1371.68195号 ·doi:10.1016/j.ipl.2013.11.009
[33] Nielsen，M.、Plotkin，G.D.、Winskel，G.：Petri网、事件结构和域。第一部分理论。Conput公司。科学。13, 85-108 (1981) ·Zbl 0452.68067号 ·doi:10.1016/0304-3975（81）90112-2
[34] 彭泽克，W。；Kuiper，R。；Diekert，V.（编辑）；Rozenberg，G.（编辑），《痕迹与逻辑》，307-390（1995），新加坡·doi:10.1142/9789814261456_0010
[35] Pratt，V.：用部分订单建模并发。国际期刊并行程序15（1），33-71（1986）·Zbl 0622.68034号 ·doi:10.1007/BF01379149
[36] 莱因哈特，K.：关于半痕迹的同步。收录于：《计算理论基础》，《计算机科学讲义》，第965卷，第393-403页。柏林施普林格（1995）·Zbl 1508.68251号
[37] Rozenberg，G.，Engelfriet，J.：基本网络系统。摘自：《Petri网讲座I：基本模型》，《计算机科学讲义》，第1491卷，第12-121页。柏林施普林格（1998）·Zbl 0926.68082号
[38] Shields，M.：足够的路径表达式。收录于：G.Kahn（编辑）《并发计算的语义》，《计算机科学讲义》，第70卷，第249-265页。柏林施普林格（1979）·Zbl 0429.68058号
[39] Szpilrajn，E.：局部延伸。芬达姆。数学。16, 386-389 (1930)
[40] Thiagarajan，P.，Walukiewicz，I.：Mazurkiewicz轨迹的一个表现完整的线性时间-时间逻辑。Inf.计算。179(2), 230-249 (2002) ·Zbl 1096.03015号 ·doi:10.1006/inco.2001.2956
[41] 沃格勒，W.：迹理论的推广。RAIRO Infornatique theorique et applications 25（2），147-156（1991）·兹比尔0731.68083
[42] Vogler，W.：部分顺序语义和读取弧。西奥。计算。科学。286(1), 33-63 (2002) ·Zbl 1016.68051号 ·doi:10.1016/S0304-3975（01）00234-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。