arXiv Open Access 2011

Synchrony vs. Causality in Asynchronous Petri Nets

Jens-Wolfhard Schicke Kirstin Peters Ursula Goltz
Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

Penulis (3)

J

Jens-Wolfhard Schicke

K

Kirstin Peters

U

Ursula Goltz

Format Sitasi

Schicke, J., Peters, K., Goltz, U. (2011). Synchrony vs. Causality in Asynchronous Petri Nets. https://arxiv.org/abs/1108.4471

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2011
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓