Abstract:Membrane computing is a well-established and successful research field which belongs to the more general area of molecular computing. Membrane computing aims at defining parallel and non-deterministic computing models, called membrane systems or P Systems, which abstract from the functioning and structure of the cell. A membrane system consists of a spatial structure, a hierarchy of membranes which do not intersect, with a distinguishable membrane called skin surrounding all of them. A membrane without any other membranes inside is elementary, while a non-elementary membrane is a composite membrane. The membranes define demarcations between regions; for each membrane there is a unique associated region. Since we have a one-to-one correspondence, we sometimes use membrane instead of region, and vice-versa. The space outside the skin membrane is called the environment. In this thesis we define and investigate variants of systems of mobile membranes as models for molecular computing and as modelling paradigms for biological systems. On one hand, we follow the standard approach of research in membrane computing: defining a notion of computation for systems of mobile membranes, and investigating the computational power of such computing devices. Specifically, we address issues concerning the power of operations for modifying the membrane structure of a system of mobile membranes by mobility: endocytosis (moving a membrane inside a neighbouring membrane) and endocytosis (moving a membrane outside the membrane where it is placed). On the other hand, we relate systems of mobile membranes to process algebra (mobile ambients, timed mobile ambients, pi-calculus, brane calculus) by providing some encodings and adding some concepts inspired from process algebra in the framework of mobile membrane computing.

Mutual Mobile Membranes with Timers

Time Delays in Membrane Systems and Petri Nets

Spatial Dynamic Structures and Mobility in Computation

Computational Efficiency and Universality of Timed P Systems with Membrane Creation

Modeling Biomolecular Networks In Cells Structures And Dynamics Introduction

Multiscale Modelling: A Mobile Membrane Approach

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Simulating and model checking membrane systems using strategies in Maude

Protocells Featuring Membrane-Bound and Dynamic Membraneless Organelles

Real-life Applications with Membrane Computing

Simulation challenges in membrane computing

A Membrane-Inspired Algorithm with a Memory Mechanism for Knapsack Problems

The P-system based model for mobile transactions

An Overview of Membrane Computing

A modeling and simulation language for biological cells with coupled mechanical and chemical processes

Membrane Fission: A Computational Complexity Perspective

Computational Modeling of Coupled Interactions of Fluid Membranes with Embedded Filaments

Time in the cell: a plausible role for the plasma membrane

Time-free Solution to SAT Problem by P Systems with Active Membranes and Standard Cell Division Rules

Where Biology Meets Physics--A Converging View on Membrane Microdomain Dynamics

Programmable Modulation of Membrane Permeability of Proteinosome Upon Multiple Stimuli Responses.