Skip to main content
SpringerLink
Log in

Introduction to Membrane Computing

  • Chapter
Applications of Membrane Computing

Part of the book series: Natural Computing Series ((NCS))

Abstract

This is a comprehensive (and friendly) introduction to membrane computing (MC), meant to offer both computer scientists and non-computer scientists an up-to-date overview of the field. That is why the set of notions introduced here is rather large, but the presentation is informal, without proofs and with rigorous definitions given only for the basic types of P systems — symbol object P systems with multiset rewriting rules, systems with symport/antiport rules, systems with string objects, tissue-like P systems, and neural-like P systems. Besides a list of (biologically inspired or mathematically motivated) ingredients/features which can be used in systems of these types, we also mention a series of results, as well as a series of research trends and topics.

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

Access this chapter

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
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L.M. Adleman: Molecular Computation of Solutions to Combinatorial Problems. Science, 226 (November 1994), 1021–1024.

    Article  Google Scholar 

  2. B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, P. Walter: Molecular Biology of the Cell, 4th ed. Garland Science, New York, 2002.

    Google Scholar 

  3. A. Alhazov, R. Freund: On the Efficiency of P Systems with Active Membranes and Two Polarizations. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365 [59], 147–161.

    Google Scholar 

  4. A. Alhazov, M. Margenstern, V. Rogozhin, Y. Rogozhin, S. Verlan: Communicative P Systems with Minimal Cooperation. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365 [59], 162–178.

    Google Scholar 

  5. A. Alhazov, C. Martín-Vide, L. Pan: Solving a PSPACE-Complete Problem by P Systems with Restricted Active Membranes. Fundamenta Informaticae, 58,2 (2003), 67–77.

    MathSciNet  Google Scholar 

  6. A. Alhazov, C. Martín-Vide, Gh. Păun, eds.: Pre-proceedings of Workshop on Membrane Computing, WMC 2003, Tarragona, Spain, July 2003. Technical Report 28/03, Rovira i Virgili University, Tarragona, 2003.

    Google Scholar 

  7. I.I. Ardelean: The Relevance of Biomembranes for P Systems. Fundamenta Informaticae, 49,1–3 (2002), 35–43.

    MATH  MathSciNet  Google Scholar 

  8. J.-P. Banâtre, A. Coutant, D. Le Métayer: A Parallel Machine for Multiset Transformation and Its Programming Style. Future Generation Computer Systems, 4 (1988), 133–144.

    Article  Google Scholar 

  9. J.-P. Banâtre, P. Fradet, D. Le Métayer: Gamma and the Chemical Reaction Model: Fifteen Years After. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. Lecture Notes in Computer Science, 2235, Springer, Berlin, 2001 [16], 17–44.

    Google Scholar 

  10. F. Bernardini, M. Gheorghe: Population P Systems. Journal of Universal Computer Science, 10,5 (2004), 509–539.

    MathSciNet  Google Scholar 

  11. F. Bernardini, V. Manca: Dynamical Aspects of P Systems. BioSystems, 70,2 (2003), 85–93.

    Article  Google Scholar 

  12. G. Berry, G. Boudol: The Chemical Abstract Machine. Theoretical Computer Science, 96 (1992), 217–248.

    Article  MATH  MathSciNet  Google Scholar 

  13. D. Besozzi: Computational and Modeling Power of P Systems. PhD Thesis, Univ. degli Studi di Milano, 2004.

    Google Scholar 

  14. D. Besozzi, C. Zandron, G. Mauri, N. Sabadini: P Systems with Gemmation of Mobile Membranes. In Proc. ICTCS 2001, Torino 2001? (A. Restivo, S.R. Della Rocca, L. Roversi, eds.), LNCS 2202, Springer, Berlin, 2001, 136–153.

    Google Scholar 

  15. C. Bonanno, V. Manca: Discrete Dynamics in Biological Models. Romanian Journal of Information Science and Technology, 5,1–2 (2002), 45–67.

    Google Scholar 

  16. C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. Lecture Notes in Computer Science, 2235, Springer, Berlin, 2001.

    MATH  Google Scholar 

  17. L. Cardelli: Brane Calculus. In Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers, LNCS 3082, Springer-Verlag, Berlin, 2005, 257–280.

    Google Scholar 

  18. M. Cavaliere: Evolution-Communication P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 134–145.

    Chapter  Google Scholar 

  19. M. Cavaliere, P. Leupold: Evolution and Observation — A New Way to Look at Membrane Systems. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 70–87.

    Google Scholar 

  20. M. Cavaliere, P. Leupold: Evolution and Observation. A Non-standard Way to Generate Formal Languages. Theoretical Computer Science, 321,2–3 (2004), 233–248.

    Article  MATH  MathSciNet  Google Scholar 

  21. M. Cavaliere, C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003.

    Google Scholar 

  22. M. Cavaliere, D. Sburlan: Time-Independent P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 239–258.

    Google Scholar 

  23. M. Cavaliere, D. Sburlan: Time and Synchronization in Membrane Systems. Fundamenta Informaticae, 64 (2005), 65–77.

    MATH  MathSciNet  Google Scholar 

  24. R. Ceterchi, R. Gramatovici, N. Jonoska, K.G. Subramanian: Generating Picture Languages with P Systems. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003 [21], 85–100.

    Google Scholar 

  25. G. Ciobanu, Gh. Păun, Gh. Ştefănescu: Sevilla Carpets Associated with P Systems. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003 [21], 135–140.

    Google Scholar 

  26. L. Colson, N. Jonoska, M. Margenstern: λP Systems and Typed λ-Calculus. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 1–18.

    Google Scholar 

  27. A. Cordón-Franco, F. Sancho-Caparrini: Approximating Non-discrete P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 288–296.

    Google Scholar 

  28. S. Crespi-Reghizzi, D. Mandrioli: Commutative Grammars. Calcolo, 13,2 (1976), 173–189.

    Article  MATH  MathSciNet  Google Scholar 

  29. E. Csuhaj-Varjú, J. Kelemen, A. Kelemenová, Gh. Păun, G. Vaszil: Cells in Environment: P Colonies. Multiple Valued Logic and Soft Computing Journal, to appear.

    Google Scholar 

  30. E. Csuhaj-Varju, G. Vaszil: P Automata or Purely Communicating Accepting P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 219–233.

    Chapter  Google Scholar 

  31. R. Freund, L. Kari, M. Oswald, P. Sosik: Computationally Universal P Systems Without Priorities: Two Catalysts Are Sufficient. Theoretical Computer Science, 330,2 (2005), 251–266.

    Article  MATH  MathSciNet  Google Scholar 

  32. R. Freund, M. Oswald: A Short Note on Analysing P Systems. Bulletin of the EATCS, 78 (2003), 231–236.

    Google Scholar 

  33. R. Freund, Gh. Păun, M.J. Pérez-Jiménez: Tissue-Like P Systems with Channel-States. Brainstorming Week on Membrane Computing, Sevilla, February 2004, TR 01/04 of Research Group on Natural Computing, Sevilla University, 2004, 206–223, and Theoretical Computer Science, 330, 1 (2005), 101–116.

    Google Scholar 

  34. P. Frisco: Theory of Molecular Computing. Splicing and Membrane Systems. PhD Thesis, Leiden University, The Netherlands, 2004.

    Google Scholar 

  35. P. Frisco, S. Ji: Towards a Hierarchy of Info-Energy P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 302–318.

    Chapter  Google Scholar 

  36. S.A. Greibach: Remarks on Blind and Partially Blind One-Way Multicounter Machines. Theoretical Computer Science, 7 (1978), 311–324.

    Article  MATH  MathSciNet  Google Scholar 

  37. M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez: On Descriptive Complexity of P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 321–331.

    Google Scholar 

  38. T. Head: Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors. Bulletin of Mathematical Biology, 49 (1987), 737–759.

    MATH  MathSciNet  Google Scholar 

  39. J. Hartmanis: About the Nature of Computer Science. Bulletin of the EATCS, 53 (1994), 170–190.

    MATH  Google Scholar 

  40. J. Hartmanis: On the Weight of Computation. Bulletin of the EATCS, 55 (1995), 136–138.

    MATH  Google Scholar 

  41. J. Hoffmeyer: Surfaces Inside Surfaces. On the Origin of Agency and Life. Cybernetics and Human Knowing, 5,1 (1998), 33–42.

    Google Scholar 

  42. M. Holcombe: Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings in Bioinformatics, 2,3 (2001), 271–278.

    Article  MathSciNet  Google Scholar 

  43. O.H. Ibarra: The Number of Membranes Matters. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 218–231.

    Google Scholar 

  44. O.H. Ibarra: On Membrane Hierarchy in P Systems. Theoretical Computer Science, 334,1–3 (2005), 115–129.

    Article  MATH  MathSciNet  Google Scholar 

  45. O.H. Ibarra: On Determinism Versus Nondeterminism in P Systems. Theoretical Computer Science, to appear. Available at http://psystems.disco.unimib.it.

    Google Scholar 

  46. O.H. Ibarra, H.-C. Yen, Z. Dang: The Power of Maximal Parallelism in P Systems. Proceedings of the Eighth Conference on Developments in Language Theory, Auckland, New Zealand, 2004 (C.S. Calude, E. Calude, M.J. Dinneed, eds.), LNCS 3340, Springer, Berlin, 2004, 212–224.

    Google Scholar 

  47. M. Ionescu, T.-O. Ishdorj: Replicative-Distribution Rules in P Systems with Active Membranes. Proc. of ICTAC2004, First Intern. Colloq. on Theoretical Aspects of Computing, Guiyang, China, 2004.

    Google Scholar 

  48. H. Kitano: Computational Systems Biology. Nature, 420,14 (2002), 206–210.

    Article  Google Scholar 

  49. S.N. Krishna, R. Rama: P Systems with Replicated Rewriting. Journal of Automata, Languages and Combinatorics, 6,3 (2001), 345–350.

    MATH  MathSciNet  Google Scholar 

  50. S.N. Krishna, R. Rama, H. Ramesh: Further Results on Contextual and Rewriting P Systems. Fundamenta Informaticae, 64 (2005), 235–246.

    MathSciNet  Google Scholar 

  51. A. Leporati, C. Zandron, G. Mauri. Simulating the Fredkin Gate with Energy-Based P systems. Journal of Universal Computer Science, 10,5 (2004), 600–619.

    MathSciNet  Google Scholar 

  52. A. Leporati, C. Zandron, G. Mauri: Universal Families of Reversible P Systems. Proc. Conf. Universal Machines and Computations 2004, St. Petersburg, 2004 (M. Margenstern, ed.), LNCS 3354, Springer, Berlin, 2005, 257–268.

    Google Scholar 

  53. W.R. Loewenstein: The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life. Oxford University Press, New York, Oxford, 1999.

    Google Scholar 

  54. M. Madhu, K. Krithivasan: Improved Results About the Universality of P Systems. Bulletin of the EATCS, 76 (2002), 162–168.

    MathSciNet  Google Scholar 

  55. V. Manca: String Rewriting and Metabolism. A Logical Perspective. In Computing with Biomolecules. Theory and Experiments (Gh. Păun, ed.), Springer, Singapore, 1998, 36–60.

    Google Scholar 

  56. S. Marcus: Bridging P Systems and Genomics: A Preliminary Approach. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 371–376.

    Chapter  Google Scholar 

  57. C. Martín-Vide, G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004.

    MATH  Google Scholar 

  58. C. Martín-Vide, Gh. Păun, J. Pazos, A. Rodríguez-Patón: Tissue P Systems. Theoretical Computer Science, 296,2 (2003), 295–326.

    Article  MATH  MathSciNet  Google Scholar 

  59. G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005.

    MATH  Google Scholar 

  60. M. Minsky: Computation — Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, NJ, 1967.

    MATH  Google Scholar 

  61. T.Y. Nishida: Simulations of Photosynthesis by a Ksubset Transforming System with Membranes. Fundamenta Informaticae, 49,1–3 (2002), 249–259.

    MATH  MathSciNet  Google Scholar 

  62. A. Păun, Gh. Păun: The Power of Communication: P Systems with Symport/Antiport. New Generation Computing, 20,3 (2002), 295–306.

    Article  MATH  Google Scholar 

  63. Gh. Păun: Marcus Contextual Grammars. Kluwer, Dordrecht, 1997.

    MATH  Google Scholar 

  64. Gh. Păun: Computing with Membranes. Journal of Computer and System Sciences, 61,1 (2000), 108–143 (and Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).

    Article  MATH  MathSciNet  Google Scholar 

  65. Gh. Păun: From Cells to Computers: Computing with Membranes (P Systems). BioSystems, 59,3 (2001), 139–158.

    Article  Google Scholar 

  66. Gh. Păun: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics, 6,1 (2001), 75–90.

    MATH  MathSciNet  Google Scholar 

  67. Gh. Păun: Membrane Computing. An Introduction. Springer, Berlin, 2002.

    MATH  Google Scholar 

  68. Gh. Păun: Grammar Systems vs. Membrane Computing: A Preliminary Approach. Workshop on Grammar Systems, MTA SZTAKI, Budapest, 2004, 225–245.

    Google Scholar 

  69. Gh. Păun, J. Pazos, M.J. Pérez-Jiménez, A. Rodríguez-Patón: Symport/Antiport P Systems with Three Objects Are Universal. Fundamenta Informaticae, 64 (2005), 345–358.

    Google Scholar 

  70. Gh. Păun, G. Rozenberg, A. Salomaa: DNA Computing. New Computing Paradigms. Springer, Berlin, 1998.

    MATH  Google Scholar 

  71. Gh. Păun, G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003.

    MATH  Google Scholar 

  72. M. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Teoría de la Complejidad en Modelos de Computatión Celular con Membranas. Editorial Kronos, Sevilla, 2002.

    Google Scholar 

  73. B. Petreska, C. Teuscher: A Hardware Membrane System. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 269–285.

    Google Scholar 

  74. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, E. Shapiro: BioAmbients — An Abstraction for Biological Compartments. Theoretical Computer Science, 325 (2004), 141–167.

    Article  MATH  MathSciNet  Google Scholar 

  75. A. Riscos-Núñez: Programacion celular. Resolucion eficiente de problemas numericos NP-complete. PhD Thesis, Univ. Sevilla, 2004.

    Google Scholar 

  76. P. Sosik: The Computational Power of Cell Division in P Systems: Beating Down Parallel Computers? Natural Computing, 2,3 (2003), 287–298.

    Article  MATH  MathSciNet  Google Scholar 

  77. P. Sosik, J. Matysek: Membrane Computing: When Communication Is Enough. In Unconventional Models of Computation 2002 (C.S. Calude, M.J. Dinneen, F. Peper, eds.), LNCS 2509, Springer, Berlin, 2002, 264–275.

    Google Scholar 

  78. M. Tomita: Whole-Cell Simulation: A Grand Challenge of the 21st Century. Trends in Biotechnology, 19 (2001), 205–210.

    Article  Google Scholar 

  79. G. Vaszil: On the Size of P Systems with Minimal Symport/Antiport. In Pre-Proceedings of Workshop on Membrane Computing, WMC5, Milano, Italy, June 2004, 422–431.

    Google Scholar 

  80. C. Zandron: A Model for Molecular Computing: Membrane Systems. PhD Thesis, Univ. degli Studi di Milano, 2001.

    Google Scholar 

  81. C. Zandron, C. Ferretti, G. Mauri: Solving NP-Complete Problems Using P Systems with Active Membranes. In Unconventional Models of Computation (I. Antoniou, C.S. Calude, M.J. Dinneen, eds.), Springer, London, 2000, 289–301.

    Google Scholar 

  82. The Web Page of Membrane Computing: http://psystems.disco.unimib.it.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  2. Research Group on Natural Computing Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Gheorghe Păun

Authors
  1. Gheorghe Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science of the Romanian Academy, Blvd. Copou 8, 700506, Iaşi, Romania

    Gabriel Ciobanu

  2. Research Group on Natural Computing Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes s/n, 41012, Seville, Spain

    Gheorghe Păun  & Mario J. Pérez-Jiménez  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Păun, G. (2006). Introduction to Membrane Computing. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds) Applications of Membrane Computing. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-29937-8_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-29937-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation