Computationally universal P systems without priorities: two catalysts are sufficient

R Freund, L Kari, M Oswald, P Sosík - Theoretical Computer Science, 2005 - Elsevier
The original model of P systems with symbol objects introduced by Păun was shown to be
computationally universal, provided that catalysts and priorities of rules are used. By …

P systems with proteins: a new frontier when membrane division disappears

D Orellana-Martín, L Valencia-Cabrera… - Journal of Membrane …, 2019 - Springer
P systems with active membranes are usually defined as devices hierarchically structured
that evolve through rewriting rules. These rules take the inspiration on the chemical …

On maximal parallel application of rules in rewriting P systems

C Zandron - Journal of Membrane Computing, 2023 - Springer
In rewriting P systems, that is P systems using structured strings instead of atomic symbols,
rules can be applied in parallel on all strings, but a single rule at a time can be applied on …

[HTML][HTML] On the computational efficiency of tissue P systems with evolutional symport/antiport rules

L Pan, B Song, C Zandron - Knowledge-Based Systems, 2023 - Elsevier
Tissue P systems with evolutional symport/antiport rules are a variant of tissue P systems,
where objects are communicated through regions by symport/antiport rules, and objects may …

Membrane computing

G Păun - … Symposium on Fundamentals of Computation Theory, 2003 - Springer
This is a brief overview of membrane computing, at about five years since this area of natural
computing has been initiated. One informally introduces the basic ideas and the basic …

Catalytic P systems, semilinear sets, and vector addition systems

OH Ibarra, Z Dang, O Egecioglu - Theoretical Computer Science, 2004 - Elsevier
We look at 1-region membrane computing systems which only use rules of the form Ca→
Cv, where C is a catalyst, a is a noncatalyst, and v is a (possibly null) string of noncatalysts …

Membrane computing concepts, theoretical developments and applications

E Csuhaj-Varjú, M Gheorghe, A Leporati… - … : VOLUME 1: Theory, 2022 - World Scientific
This chapter discusses the key concepts in Membrane Computing, with some examples
illustrating their usage, the main theoretical developments, by pointing at some of the most …

Characterizations of catalytic membrane computing systems

OH Ibarra, Z Dang, O Egecioglu, G Saxena - International Symposium on …, 2003 - Springer
We look at 1-region membrane computing systems which only use rules of the form Ca→
Cv, where C is a catalyst, a is a noncatalyst, and v is a (possibly null) string of noncatalysts …

Using well-structured transition systems to decide divergence for catalytic P systems

N Busi - Theoretical Computer Science, 2007 - Elsevier
P systems are a biologically inspired model introduced by Gheorghe Păun with the aim of
representing the structure and the functioning of the cell. Since their introduction, several …

P systems with symport/antiport simulating counter automata

P Frisco, HJ Hoogeboom - Acta Informatica, 2004 - Springer
The generative capability of several variants of P systems with symport/antiport is studied via
the simulation of counter automata. This leads to the reduction of the complexity, expressed …