Skip to main content
SpringerLink
Log in
Book cover

International Conference on Parallel Problem Solving from Nature

PPSN 2006: Parallel Problem Solving from Nature - PPSN IX pp 262–271Cite as

Some Notes on (Mem)Brane Computation

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4193))

Abstract

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.

The second author acknowledges the support by project TIN2005-09345-C04-01 of Ministerio de Educación y Ciencia of Spain, cofinanced by FEDER funds, and by the Project of Excellence TIC-581 of the Junta de Andalucía.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Bel Enguix, G., Jiménez-López, M.D.: Linguistic Membrane Systems and Applications. In: [14], 347–388

    Google Scholar 

  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. Busi, N.: Deciding behavioural properties in Brane Calculi. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Cardelli, L.: Brane Calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)

    Article  MathSciNet  Google Scholar 

  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. 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)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  14. Ciobanu, G., Păun, G., Pérez–Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  19. Krishna, S.N., Rama, R.: Breaking DES Using P Systems. Theoretical Computer Sci 299(1-3), 495–508 (2003)

    Article  MathSciNet  Google Scholar 

  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. Nishida, T.Y.: A Membrane Computing Model for Photosynthesis. In: [14], pp. 181–202

    Google Scholar 

  22. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MathSciNet  Google Scholar 

  23. Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)

    Book  Google Scholar 

  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. Paun, G., Paun, R.: Membrane Computing and Economics: Numerical P Systems. Fundamenta Informaticae 73(1-2), 213–227 (2006)

    MathSciNet  MATH  Google Scholar 

  26. Paun, G., Paun, R.: Membrane computing as a framework for modeling economic processes (submitted, 2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  29. Regev, A., Shapiro, E.: Cells as computations. Nature 419, 343 (2002)

    Article  Google Scholar 

  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)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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. The P Systems Website, http://psystems.disco.unimib.it

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, I-40127, Bologna, Italy

    Nadia Busi

  2. Dpto. de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Miguel A. Gutiérrez-Naranjo

Authors
  1. Nadia Busi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel A. Gutiérrez-Naranjo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Science Institute, University of Iceland, P.O. Box, Iceland

    Thomas Philip Runarsson

  2. Vorarlberg University of Applied Sciences, Hochschulstr. 1, A-6850, Dornbirn, Austria

    Hans-Georg Beyer

  3. Automated Scheduling, Optimisation and Planning Group, School of Computer Science & IT, University of Nottingham, NG8 1BB, Nottingham, UK

    Edmund Burke

  4. Depto. Arquitectura y Tecnologa de Computadores, ETS Ingeiera Informtica, C/Daniel Saucedo Aranda, s/n, 18071, Granada, Spain

    Juan J. Merelo-Guervós

  5. Colorado State University, 80523, Fort Collins, CO, USA

    L. Darrell Whitley

  6. University of Birmingham, Birmingham, UK

    Xin Yao

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Busi, N., Gutiérrez-Naranjo, M.A. (2006). Some Notes on (Mem)Brane Computation. In: Runarsson, T.P., Beyer, HG., Burke, E., Merelo-Guervós, J.J., Whitley, L.D., Yao, X. (eds) Parallel Problem Solving from Nature - PPSN IX. PPSN 2006. Lecture Notes in Computer Science, vol 4193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11844297_27

Download citation

  • DOI: https://doi.org/10.1007/11844297_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38990-3

  • Online ISBN: 978-3-540-38991-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation