异步Petri网中的同步性与因果性
Synchrony vs. Causality in Asynchronous Petri Nets
摘要：
给定一个同步系统，我们研究的问题，该系统的行为是否可以表现出一个（非平凡的）分布式，因此异步实现。在本文中，我们表明，通过反例，同步系统不能在一般情况下实现在异步的方式，而不引入一个无限的实现或改变因果结构的系统行为。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
