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 maximally parallel rewriting, and for maximally parallel rewriting with priorities between rules. Maximally parallel rewriting with promoters or inhibitors requires an additional encoding of the rules.
KeywordsMembrane System Strategy Operator Operational Semantic Priority Relation Evolution Step
Unable to display preview. Download preview PDF.
- 3.Andrei, O., Ciobanu, G., Lucanu, D.: Strategies and Tactics in Operational Semantics. “A.I.Cuza” University, Faculty of Computer Science Tech. Rep. TR06-01 (2006)Google Scholar