Formal languages
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Universality results for P systems based on brane calculi operations
Theoretical Computer Science
Membrane Systems with Peripheral Proteins: Transport and Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Structural Properties and Observability in Membrane Systems
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Membrane systems with proteins embedded in membranes
Theoretical Computer Science
Turing Completeness Using Three Mobile Membranes
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Simple, Enhanced and Mutual Mobile Membranes
Transactions on Computational Systems Biology XI
On the reachability problem in P systems with mobile membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Mobile membranes with objects on surface as colored petri nets
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
In this paper we study systems of mutual mobile membranes with objects on surface using pino/exo/phago rules. Their rules are applicable whenever there is a mutual agreement between membranes expressed by appropriate objects and co-objects on their surfaces. We investigate the computational power of these systems, and also relate them to brane calculi by encoding the PEP fragment of brane calculus into the systems of mutual mobile membranes with objects on surface.