Distributed execution of bigraphical reactive systems

TL;DR

This paper introduces a decentralized, parallel algorithm for bigraph embedding that enables distributed simulation of bigraphical reactive systems, improving scalability while maintaining comparable complexity to centralized methods.

Contribution

It presents the first distributed algorithm for bigraph embedding, allowing parallel processing and scalable simulation of bigraphical reactive systems.

Findings

Enables distributed, parallel execution of bigraph reactions.

Maintains complexity comparable to centralized algorithms.

Supports scalable simulation of large bigraphs.

Abstract

The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present a decentralized algorithm, which distributes both state and computation over several concurrent processes. This allows for distributed, parallel simulations where non-interfering reactions can be carried out concurrently; nevertheless, even in the worst case the complexity of this distributed algorithm is no worse than that of a centralized algorithm.