Asynchronous tissue P systems with symport/antiport rules are a class of parallel computing models inspired by cell tissue working in a non-synchronized way, where the use of rules is not obligatory, that is, at a computation step, an enabled rule may or may not be applied. In this work, the notion of local synchronization is introduced at three levels: rules, channels, and cells. If a rule in a locally synchronous set of rules (resp., cells or channels) is used, then all enabled rules in the same locally synchronous set of rules (resp., whose involved channels or cells) should be applied in a maximally parallel manner and the implementation of these rules is finished in one computation step. The computational power of local synchronization on asynchronous tissue P systems with symport/antiport rules at the three levels is investigated. It is shown that asynchronous tissue P systems with symport/antiport rules and with locally synchronous sets of rules, channels, or cells are all Turing universal. By comparing the computational power of asynchronous tissue P systems with or without local synchronization, it can be found that the local synchronization is a useful tool to achieve a desired computational power.

中文翻译：

---

具有Symport / Antiport规则的异步组织P系统上的本地同步。

具有同向/反向规则的异步组织P系统是一类并行计算模型，其受非同步方式工作的细胞组织启发，其中规则的使用不是必须的，也就是说，在计算步骤中，启用的规则可以或可能不适用。在这项工作中，本地同步的概念从三个级别引入：规则，通道和单元。如果使用本地同步规则集（resp。，单元或通道）中的规则，则应以最大并行方式应用同一本地同步规则集（resp。中涉及的通道或单元）的所有已启用规则这些规则的实现方式和实现在一个计算步骤中完成。研究了在三个层次上具有同向/反向规则的异步组织P系统上本地同步的计算能力。结果表明，具有同向/反向规则以及具有局部同步规则，通道或单元集的异步组织P系统都是图灵通用的。通过比较具有或没有局部同步的异步组织P系统的计算能力，可以发现局部同步是实现所需计算能力的有用工具。