Formal languages
Journal of Computer and System Sciences
Handbook of Formal Languages
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theoretical Computer Science - Natural computing
Evolution-Communication P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Universality results for P systems based on brane calculi operations
Theoretical Computer Science
WMC'04 Proceedings of the 5th international conference on Membrane Computing
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
P systems with proteins on membranes and membrane division
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Decision problems in membrane systems with peripheral proteins, transport and evolution
Theoretical Computer Science
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins
Electronic Notes in Theoretical Computer Science (ENTCS)
P Systems with Transport and Diffusion Membrane Channels
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Mutual mobile membranes with objects on surface
Natural Computing: an international journal
Modelling cellular processes using membrane systems with peripheral and integral proteins
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
P Systems with Transport and Diffusion Membrane Channels
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |
Transport of substances and communication between compartments are fundamental biological processes, often mediated by the presence of complementary proteins attached to the surfaces of membranes. Within compartments, substances are acted upon by local biochemical rules. Inspired by this behaviour we present a model based on membrane systems, with objects attached to the sides of the membranes and floating objects that can move between the regions of the system. Moreover, in each region there are evolution rules that rewrite the transported objects, mimicking chemical reactions. We first analyse the system, showing that interesting qualitative properties can be decided (like reachability of configurations) and then present a simulator based on a stochastic version of the introduced model and show how it can be used to simulate relevant quantitative biological processes.