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.
Keywords
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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of The Cell, 4th edn. Garland Science (2002)
Bel Enguix, G., Jiménez-López, M.D.: Linguistic Membrane Systems and Applications. In: [14], 347–388
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)
Busi, N.: Deciding behavioural properties in Brane Calculi. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, Springer, Heidelberg (2006)
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)
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)
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)
Busi, N., Zandron, C.: Modeling and Analysis of Biological Processes by Mem (Brane) Calculi and Systems. In: Winter Simulation Conference 2006 (to appear, 2006)
Cardelli, L.: Brane Calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)
Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)
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)
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)
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)
Ciobanu, G., Păun, G., Pérez–Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2005)
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)
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)
Fontana, W., Buss, L.W.: The barrier of objects: from dynamical system to bounded organizations, pp. 56–116. Addison-Wesley, Reading (1996)
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)
Krishna, S.N., Rama, R.: Breaking DES Using P Systems. Theoretical Computer Sci 299(1-3), 495–508 (2003)
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)
Nishida, T.Y.: A Membrane Computing Model for Photosynthesis. In: [14], pp. 181–202
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)
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)
Paun, G., Paun, R.: Membrane Computing and Economics: Numerical P Systems. Fundamenta Informaticae 73(1-2), 213–227 (2006)
Paun, G., Paun, R.: Membrane computing as a framework for modeling economic processes (submitted, 2005)
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)
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)
Regev, A., Shapiro, E.: Cells as computations. Nature 419, 343 (2002)
Păun, G., Pérez-Jiménez, M.J.: Recent computing models inspired from biology: DNA and membrane computing. Theoria 18, 72–84 (2003)
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)
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)
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)
The P Systems Website, http://psystems.disco.unimib.it
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
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)