Computer Science – Logic in Computer Science
Scientific paper
2008-12-31
Computer Science
Logic in Computer Science
26 pages. An extended abstract of this paper appeared in Proceedings 33rd International Symposium on Mathematical Foundations
Scientific paper
When considering distributed systems, it is a central issue how to deal with interactions between components. In this paper, we investigate the paradigms of synchronous and asynchronous interaction in the context of distributed systems. We investigate to what extent or under which conditions synchronous interaction is a valid concept for specification and implementation of such systems. We choose Petri nets as our system model and consider different notions of distribution by associating locations to elements of nets. First, we investigate the concept of simultaneity which is inherent in the semantics of Petri nets when transitions have multiple input places. We assume that tokens may only be taken instantaneously by transitions on the same location. We exhibit a hierarchy of `asynchronous' Petri net classes by different assumptions on possible distributions. Alternatively, we assume that the synchronisations specified in a Petri net are crucial system properties. Hence transitions and their preplaces may no longer placed on separate locations. We then answer the question which systems may be implemented in a distributed way without restricting concurrency, assuming that locations are inherently sequential. It turns out that in both settings we find semi-structural properties of Petri nets describing exactly the problematic situations for interactions in distributed systems.
Glabbeek Rob van
Goltz Ursula
Schicke Jens-Wolfhard
No associations
LandOfFree
On Synchronous and Asynchronous Interaction in Distributed Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Synchronous and Asynchronous Interaction in Distributed Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Synchronous and Asynchronous Interaction in Distributed Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-536394