Bridging Membrane and Reaction Systems | Research Group on Natural Computing

Title	Bridging Membrane and Reaction Systems
Publication Type	Conference Contributions
Year of Publication	2013
Authors	Paun, G., Pérez-Jiménez M. J., & Rozenberg G.
Conference Name	Eleventh Brainstorming Week on Membrane Computing (11BWMC)
Volume Title	Proceedings of the Eleventh Brainstorming Week on Membrane Computing (11BWMC)
ISBN Number	978-84-940691-9-2
Publisher	Fénix Editora
Place Published	Sevilla, España
Pages	243-256
Date Published	08/2013
Abstract	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.
URL	http://www.gcn.us.es/files/11bwmc/243_paun_perez_rozenberg.pdf