Synchrony vs. Causality in Asynchronous Petri Nets

Jens-Wolfhard Schicke
(TU Braunschweig)
Kirstin Peters
(TU Berlin)
Ursula Goltz
(TU Braunschweig)

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.

In Bas Luttik and Frank Valencia: Proceedings 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), Aachen, Germany, 5th September 2011, Electronic Proceedings in Theoretical Computer Science 64, pp. 119–131.
Published: 20th August 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.64.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org