Expressing Control Mechanisms of Membranes by Rewriting Strategies.

In this paper we present a rewriting semantics of membrane systems based on strategies. We use strategies to describe the control mechanisms in membranes. We provide strategies for maximal parallel rewriting, and for maximal parallel rewriting with priorities between rules. Maximal parallel rewriting with promoters or inhibitors requires an additional encoding of the rules.