文章基本信息

标题：Synchrony vs. Causality in Asynchronous Petri Nets
本地全文：下载
作者：Jens-Wolfhard Schicke ; Kirstin Peters ; Ursula Goltz 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2011
卷号：64
页码：119-131
DOI：10.4204/EPTCS.64.9
出版社：Open Publishing Association
摘要：Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In this paper we show, by counterexample, that synchronous systems cannot in general be implemented in an asynchronous fashion without either introducing an infinite implementation or changing the causal structure of the system behaviour.