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 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.
This work has been supported by the research grant CEEX 47/2005, Romania.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrei, O., Ciobanu, G., Lucanu, D.: Executable Specifications of P Systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126–145. Springer, Heidelberg (2005)
Andrei, O., Ciobanu, G., Lucanu, D.: A Structural Operational Semantics of the P Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 32–49. Springer, Heidelberg (2006)
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)
Bonchiş, C., Ciobanu, G., Izbaşa, C.: Encodings and Arithmetic Operations in Membrane Computing. In: Cai, J.-Y., Cooper, S.B., Li, A. (eds.) TAMC 2006. LNCS, vol. 3959, pp. 621–630. Springer, Heidelberg (2006)
Borovansky, P., Kirchner, C., Kirchner, H., Ringeissen, C.: Rewriting with Strategies in ELAN: A Functional Semantics. International Journal of Foundations of Computer Science 12(1), 69–95 (2001)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science 285(2), 187–243 (2002)
Martí-Oliet, N., Meseguer, J., Verdejo, A.: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci 117, 417–441 (2005)
Meseguer, J.: Conditional Rewriting Logic as Unified Model of Concurrency. Theoretical Computer Science 96, 73–155 (1992)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Visser, E.: A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation 40, 831–873 (2005)
Visser, E., Benaissa, Z.-A., Tolmach, A.: Building Program Optimizers with Rewriting Strategies. ACM SIGPLAN Notices 34, 13–26 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrei, O., Ciobanu, G., Lucanu, D. (2006). Expressing Control Mechanisms of Membranes by Rewriting Strategies. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963516_10
Download citation
DOI: https://doi.org/10.1007/11963516_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69088-7
Online ISBN: 978-3-540-69090-0
eBook Packages: Computer ScienceComputer Science (R0)