One More Universality Result for P Systems with Objects on Membranes

  • Gheorghe Păun Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucure¸sti, Romania and Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Avda. Reina Mercedes s/n, 41012 Sevilla, Spain E-mail:,


We continue here the attempt to bridge brane calculi with membrane computing, following the investigation started in [2]. Specifically, we consider P systems with objects placed on membranes, and processed by membrane operations. The operations used in this paper are membrane creation (cre), and membrane dissolution (dis), defined in a way which reminds the operations pino, exo from a brane calculus from [1]. For P systems based on these operations we prove the universality, for one of the two possible variants of the operations; for the other variant the problem remains open.


[1] L. Cardelli, Brane calculi. Interactions of biological membranes, Proc. Computational Methods in Systems Biology, 2004, Springer-Verlag, Berlin, to appear.

[2] L. Cardelli, Gh. Paun, An universality result for a (mem)brane calculus based on mate/drip operations, Intern. J. Foundations of Computer Sci., 17, 1 (2006), 49–68.

[3] J. Dassow, Gh. Paun, Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989.

[4] 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,

[5] Gh. Păun, Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.

[6] The membrane computing web page:
How to Cite
PĂUN, Gheorghe. One More Universality Result for P Systems with Objects on Membranes. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 1, n. 1, p. 25-32, jan. 2006. ISSN 1841-9844. Available at: <>. Date accessed: 29 june 2022.


Membrane computing, Brane calculi, Matrix grammar, Universality