Formal Methods in Software Engineering

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

Year2006
TypeConference
StatusProceedings
AuthorsOana Andrei, Gabriel Ciobanu, Dorel Lucanu

Links

Abstract

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.

BibTeX

@INPROCEEDINGS{wmc2006, author = {Oana Andrei and Gabriel Ciobanu and Dorel Lucanu}, title = {Expressing Control Mechanisms of Membranes by Rewriting Strategies.}, booktitle = {Workshop on Membrane Computing}, year = {2006}, series = {Lecture Notes in Computer Science}, volume = {4361}, pages = {154-169}, publisher = {Springer}, isbn = {3-540-69088-3}, url_publisher = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-69088-7}, url = {http://wmc7.liacs.nl/[WMC]} }