Synchrony vs. Causality in Asynchronous Petri Nets
Distributed, Parallel, and Cluster Computing
2011-08-24 v1
Abstract
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.
Cite
@article{arxiv.1108.4471,
title = {Synchrony vs. Causality in Asynchronous Petri Nets},
author = {Jens-Wolfhard Schicke and Kirstin Peters and Ursula Goltz},
journal= {arXiv preprint arXiv:1108.4471},
year = {2011}
}
Comments
In Proceedings EXPRESS 2011, arXiv:1108.4077