Formal languages
Petri net algorithms in the theory of matrix grammars
Acta Informatica
Journal of Computer and System Sciences
Handbook of Formal Languages
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
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)
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)
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
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
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Mobile membranes with objects on surface as colored petri nets
CMC'12 Proceedings of the 13th international conference on Membrane Computing
| Hi-index | 5.24 |
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 be moved between the regions of the system. Moreover, in each region there are evolution rules that rewrite the transported objects, mimicking chemical reactions. We investigate qualitative properties, like configuration reachability, in relation to the use of cooperative or non-cooperative evolution and transport rules and in the contexts of free- and maximal-parallel evolution.