Expressing Control Mechanisms of Membranes by Rewriting Strategies

  • Oana Andrei
  • Gabriel Ciobanu
  • Dorel Lucanu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4361)


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.


Membrane System Strategy Operator Operational Semantic Priority Relation Evolution Step 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 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
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefMathSciNetGoogle Scholar
  6. 6.
    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)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Martí-Oliet, N., Meseguer, J., Verdejo, A.: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci 117, 417–441 (2005)CrossRefGoogle Scholar
  8. 8.
    Meseguer, J.: Conditional Rewriting Logic as Unified Model of Concurrency. Theoretical Computer Science 96, 73–155 (1992)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)MATHGoogle Scholar
  10. 10.
    Visser, E.: A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation 40, 831–873 (2005)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Visser, E., Benaissa, Z.-A., Tolmach, A.: Building Program Optimizers with Rewriting Strategies. ACM SIGPLAN Notices 34, 13–26 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Oana Andrei
    • 1
  • Gabriel Ciobanu
    • 2
    • 3
  • Dorel Lucanu
    • 2
  1. 1.INRIA-LORIANancyFrance
  2. 2.Faculty of Computer Science“A.I.Cuza” University of Iaşi 
  3. 3.Institute of Computer ScienceRomanian AcademyIaşi

Personalised recommendations