Synchrony vs. Causality in Asynchronous Petri Nets

Autor: Kirstin Peters, Jens-Wolfhard Schicke, Ursula Goltz
Jazyk: angličtina
Rok vydání: 2011
Předmět:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 64, Iss Proc. EXPRESS 2011, Pp 119-131 (2011)
Druh dokumentu: article
ISSN: 2075-2180
DOI: 10.4204/EPTCS.64.9
Popis: 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.
Databáze: Directory of Open Access Journals