关于组合迹的三种等价刻画
形式语言与自动机理论
2011-10-19 v4 分布式、并行与集群计算
摘要
组合迹（即comtrace）概念由Janicki和Koutny于1995年提出，作为Mazurkiewicz迹概念的推广。Comtraces是步序列的同余类，其中同余关系由事件上的同时性和可串行化两个关系定义。他们还证明了comtraces对应于某类标记分层序结构，但留下了“哪类标记分层序表示comtraces”的问题未解决。在这项工作中，我们提出了一类恰好捕捉comtrace概念的标记分层序结构。我们的主要技术贡献是表示定理，表明comtrace商幺半群、组合依赖图（Kleijn and Koutny 2008）以及我们的标记分层序结构刻画是表示comtraces的三种不同但等价的方式。本文是Lê（发表于PETRI NETS 2010会议论文集，LNCS 6128，第104-124页）的修订和扩展版本。
引用
@article{arxiv.1011.1030,
title = {On Three Alternative Characterizations of Combined Traces},
author = {Dai Tri Man Le},
journal= {arXiv preprint arXiv:1011.1030},
year = {2011}
}
备注
22 pages, preliminary version