延斯·沃尔夫哈德·希克;柯斯汀·彼得斯;乌尔苏拉·戈尔茨 异步Petri网中的同步与因果关系。 （英语） Zbl 1457.68194号 Luttik，Bas（编辑）等人，《第18届并发表达性国际研讨会论文集》，EXPRESS’11，德国亚琛，2011年9月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）64，119-131（2011）。 摘要：给定一个同步系统，我们研究该系统的行为是否可以通过（非私有的）分布式因而异步的实现来表现的问题。在本文中，我们通过反例表明，如果不引入无限实现或改变系统行为的因果结构，同步系统通常无法以异步方式实现。关于整个系列，请参见[Zbl 1415.68035号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 关键词：异步;分布式系统;因果语义学;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{J.-W.Schicke}等人，《电子》。程序。西奥。计算。科学。（EPTCS）64、119--131（2011；Zbl 1457.68194） 全文： arXiv公司 链接