352 Citations
Membrane Computing: A General View
- Computer Science
- 2007
An informal presentation of the basic ideas, results, and applications of membrane computing, a branch of natural computing inspired by the structure and the functioning of biological cells, cell tissues, or colonies of cells, that are distributed and parallel.
Characterizations of Catalytic Membrane Computing Systems
- Computer ScienceMFCS
- 2003
It is shown that 1-region membrane computing systems which only use rules of the form Ca →Cv are equivalent to communication-free Petri nets, which are also equivalent to commutative context-free grammars, and systems of the second type define precisely the semilinear sets.
Characterizations of catalytic membrane computing systems: (Extended abstract)
- Computer Science
- 2003
It is shown that 1-region membrane computing systems which only use rules of the form Ca → Cv are equivalent to communication-free Petri nets, which are also equivalent to commutative context-free grammars, and systems of the second type define precisely the semilinear sets.
Some Computational Issues in Membrane Computing
- Computer Science, BiologyMFCS
- 2005
Recent results in membrane computing answer some interesting and fundamental open questions in the field that concern computational issues such as determinism versus nondeterminism, membrane and alphabet-size hierarchies, and various notions of parallelism.
The Number of Membranes Matters
- Computer ScienceWorkshop on Membrane Computing
- 2003
It is shown that RCPS’s are equivalent to two-way multihead finite automata over bounded languages (i.e., subsets of \(a_1^* ... a_n^*\), for some distinct symbols a 1, ..., a n ).
Membrane systems for molecular computing and biological modelling
- Computer Science
- 2005
This thesis investigates variants of membrane systems as models for molecular computing and as modelling paradigms for biological systems, and introduces a model of P systems particularly suitable for modelling systems of bio-chemical reactions distributed across various compartments.
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
- Biology, Computer ScienceSimulation and Verification of Dynamic Systems
- 2006
It is shown that the simulator can be particularly useful in modelling biological processes that involve compartments, surface and integral membrane proteins, transport and processing of chemical substances, and the simulation of circadian clock and the G-protein cycle in yeast.
References
SHOWING 1-10 OF 106 REFERENCES
Computing with Membranes (P Systems): A Variant
- Computer ScienceInt. J. Found. Comput. Sci.
- 2000
It is proved that P systems are able to characterize the one-letter recursively enumerable languages (equivalently, the recursically enumerable sets of natural numbers), providing that an extra feature is considered: the membranes can be made thicker or thinner and the communication through a membrane is possible only when its thickness is equal to 1.
Computing with Membranes
- Computer ScienceJ. Comput. Syst. Sci.
- 2000
It is proved that the P systems with the possibility of objects to cooperate characterize the recursively enumerable sets of natural numbers; moreover, systems with only two membranes suffice.
Computing with Membranes: Variants with an Enhanced Membrane Handling
- Computer ScienceDNA
- 2001
A general class of membrane systems, where besides rules for objects evolution, there are rules for moving objects from a compartment to another one, and for handling membranes, and this latter feature is important, because it makes possible to interpret several DNA computing experiments as membrane computations.
Recursive Calculus with Membranes
- Computer ScienceFundam. Informaticae
- 2002
A variant of P systems with active membranes using a new operation called "subordonation", based on the process of "endocytosis" of membranes: a membrane can be entirely absorbed by another membrane, preserving its content.
Computing with membranes: P systems with worm-objects
- Computer Science, MathematicsProceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000
- 2000
It is proved that P systems of this type can generate all recursively enumerable sets of numbers and the first time that a polynomial solution to an NP-complete problem has been obtained in the P system framework without making use of the (non-realistic) operation of membrane division.
Rewriting P Systems with Conditional Communication
- Computer ScienceFormal and Natural Computing
- 2002
This paper considers systems with string-objects processed by rewriting, with the communication controlled by conditions on the contents of the strings, and obtained variants lead to new characterizations of recursively enumerable languages.
Membrane systems with promoters/inhibitors
- Computer ScienceActa Informatica
- 2002
It turns out that systems with promoters/inhibitors achieve universal computations without using the standard “auxiliary” features of membrane systems, for instance, without using catalysts.
P Systems with Active Membranes: Attacking NP-Complete Problems
- Computer ScienceJ. Autom. Lang. Comb.
- 2001
It is proved that a class of P systems whose membranes are the main active components, in the sense that they directly mediate the evolution and the communication of objects, is not only computationally universal, but also able to solve NP complete problems in polynomial time.
Membrane Computing with External Output
- Computer ScienceFundam. Informaticae
- 2000
The fundamental properties of computations in such P systems with external output are investigated, including the computing power, normal forms, and basic decision problems.