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.

Simulation challenges in membrane computing

The Terminal Behaviors Modeling Method for Complex Microsystems

PAME: Evolutionary Membrane Computing for Virtual Network Embedding

Cpv – Simulation and Verification for Membrane Computing

Design Of A Simulator For Mesh-Based Reconfigurable Architectures

A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules

An Overview of Membrane Computing

A Simulation Software Tool for Cell-like Spiking Neural P Systems

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

A Quick Survey of Tissue-Like P Systems

Towards experimental P-systems using multivesicular liposomes

Real-life Applications with Membrane Computing

A survey of fuzzy membrane computing model and its application

Simulating the behavior of MEMS devices: computational methods and needs

Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules

P Systems with Proteins Working in the Minimally Parallel Mode

Computer Architecture Software-Based Simulation

PCAsim: A parallel cycle accurate simulation platform for CMPs

Spatial Dynamic Structures and Mobility in Computation

Simulating and model checking membrane systems using strategies in Maude

Solving multidimensional 0--1 knapsack problem by P systems with input and active membranes