双图反应式系统的分布式执行
Distributed execution of bigraphical reactive systems
摘要：
双图嵌入问题是双图和双图反应系统（BRS）的许多结果和工具的关键。目前用于计算双图嵌入的算法是集中式的，即被设计为在本地运行，具有访客和主机双图的完整视图。为了处理大的双图，并并行化反应，我们提出了一个分散的算法，它分布在几个并发进程的状态和计算。这允许分布式，并行模拟，其中可以同时进行非干扰反应;然而，即使在最坏的情况下，这种分布式算法的复杂性也不比集中式算法差。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
