Some Notes on (Mem)Brane Computation

  • Nadia Busi
  • Miguel A. Gutiérrez-Naranjo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4193)


Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They are based on the study of the structure and functioning of living cells as living organisms able to process and generate information. In this paper we give a short introduction to both areas and point out some open research lines.


System Biology Turing Machine Natural Computing Reaction Rule Membrane Computing 
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.
    Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of The Cell, 4th edn. Garland Science (2002)Google Scholar
  2. 2.
    Bel Enguix, G., Jiménez-López, M.D.: Linguistic Membrane Systems and Applications. In: [14], 347–388Google Scholar
  3. 3.
    Besozzi, D., Busi, N., Franco, G., Freund, R., Păun, G.: Two Universality Results for (Mem) Brane Systems. In: Gutiérrez Naranjo, M.A., Păun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Fénix Editora, vol. I (2006)Google Scholar
  4. 4.
    Busi, N.: Deciding behavioural properties in Brane Calculi. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Busi, N.: On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 144–158. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Busi, N., Gorrieri, R.: On the Computational Power of Brane Calculi. In: Transactions on Computational Systems Biology. LNCS, Springer, Heidelberg (to appear); An extended abstract appeared in Proc. Computational Methods in System Biology 2005 (CMSB 2005)Google Scholar
  7. 7.
    Busi, N., Gutiérrez Naranjo, M.A.: A Case Study in (Mem)Brane Computation: Generating {n 2 | n ≥ 1}. In: Gutiérrez Naranjo, M.A., Păun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Fénix Editora, vol. I, pp. 81–97 (2006)Google Scholar
  8. 8.
    Busi, N., Zandron, C.: Modeling and Analysis of Biological Processes by Mem (Brane) Calculi and Systems. In: Winter Simulation Conference 2006 (to appear, 2006)Google Scholar
  9. 9.
    Cardelli, L.: Brane Calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Cardelli, L., Păun, G.: An Universality Result for a (Mem) Brane Calculus Based on Mate/Drip Operations. In: Gutiérrez-Naranjo, M.A., Păun, G., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects), Fénix Editora, Sevilla, Spain, pp. 75–94 (2005)Google Scholar
  12. 12.
    Ceterchi, R., Pérez-Jiménez, M.J.: On simulating a class of parallel architectures. International Journal of Foundations of Computer Science 17(1), 91–110 (2006)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Chiargugi, D., Curti, M., Degano, P., Marangoni, R.: VICE: A VIrtual CEll. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 207–220. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Ciobanu, G., Păun, G., Pérez–Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2005)Google Scholar
  15. 15.
    Danos, V., Laneve, C.: Core formal Molecular Biology. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 302–318. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Danos, V., Pradalier, S.: Projective Brane Calculus. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 134–148. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Fontana, W., Buss, L.W.: The barrier of objects: from dynamical system to bounded organizations, pp. 56–116. Addison-Wesley, Reading (1996)Google Scholar
  18. 18.
    Suzuki, Y., Fujiwara, Y., Takabayashi, J., Tanaka, H.: Artificial life applications of a class of P systems: Abstract rewriting systems on multisets. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 299–346. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  19. 19.
    Krishna, S.N., Rama, R.: Breaking DES Using P Systems. Theoretical Computer Sci 299(1-3), 495–508 (2003)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Nishida, T.Y.: An Approximate Algorithm for NP-Complete Optimization Problems Expoiting P Systems. In: Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, pp. 185–192 (2004)Google Scholar
  21. 21.
    Nishida, T.Y.: A Membrane Computing Model for Photosynthesis. In: [14], pp. 181–202Google Scholar
  22. 22.
    Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)MATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)MATHGoogle Scholar
  24. 24.
    Păun, G.: 2006 Research Topics in Membrane Computing. In: Graciani Díaz, C., Păun, G., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Fénix Editora, vol. II, pp. 235–251 (2006)Google Scholar
  25. 25.
    Paun, G., Paun, R.: Membrane Computing and Economics: Numerical P Systems. Fundamenta Informaticae 73(1-2), 213–227 (2006)MATHMathSciNetGoogle Scholar
  26. 26.
    Paun, G., Paun, R.: Membrane computing as a framework for modeling economic processes (submitted, 2005)Google Scholar
  27. 27.
    Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  28. 28.
    Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)MATHCrossRefMathSciNetGoogle Scholar
  29. 29.
    Regev, A., Shapiro, E.: Cells as computations. Nature 419, 343 (2002)CrossRefGoogle Scholar
  30. 30.
    Păun, G., Pérez-Jiménez, M.J.: Recent computing models inspired from biology: DNA and membrane computing. Theoria 18, 72–84 (2003)Google Scholar
  31. 31.
    Pérez–Jiménez, M.J., Romero–Campero, F.J.: A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems. In: Mira, J., Álvarez, J.R. (eds.) IWINAC 2005. LNCS, vol. 3561, pp. 268–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  32. 32.
    Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325(1), 141–167 (2004)MATHCrossRefMathSciNetGoogle Scholar
  33. 33.
    Romero-Jiménez, A., Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J.: Graphical Modelling of Higher Plants Using P Systems. In: Seventh Workshop on Membrane Computing, Leiden (The Netherlands) (July 2006) (accepted paper)Google Scholar
  34. 34.
    The P Systems Website,

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nadia Busi
    • 1
  • Miguel A. Gutiérrez-Naranjo
    • 2
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly
  2. 2.Dpto. de Ciencias de la Computación e Inteligencia ArtificialUniversidad de SevillaSevillaSpain

Personalised recommendations