One More Universality Result for P Systems with Objects on Membranes

Abstract

We continue here the attempt to bridge brane calculi with membrane com- puting, following the investigation started in. Specifically, we consider P systems with objects placed on the 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. 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.