%0 Generic
%D 2013
%T Bridging Membrane and Reaction Systems
%A Gheorghe Paun
%A Mario J. Pérez-Jiménez
%A Grzegorz Rozenberg
%C Sevilla, España
%I Fénix Editora
%P 243-256
%S Proceedings of the Eleventh Brainstorming Week on Membrane Computing (11BWMC)
%U http://www.gcn.us.es/files/11bwmc/243_paun_perez_rozenberg.pdf
%X This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing and reaction systems. More specif- ically, the paper considers a transfer of two assumptions/axioms of reaction systems, non- permanency and the threshold assumption, into the framework of membrane computing. It is proved that: (1) SN P systems with non-permanency of spikes assumption charac- terize the semilinear sets of numbers, and (2) symport/antiport P systems with threshold assumption (translated as ! multiplicity of objects) can solve SAT in polynomial time. Also, several open research problems are stated.
%8 08/2013
%@ 978-84-940691-9-2