@article {983, title = {Bridging Membrane and Reaction Systems {\textendash} Further Results and Research Topics}, journal = {Fundamenta Informaticae}, volume = {127}, year = {2013}, month = {10/2013}, pages = {99-114}, publisher = {IOS Press}, address = {Warsaw, Poland}, abstract = {This paper continues an investigation into bridging two research areas concerned with natural computing: membrane computing and reaction systems. More specifically, 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) spiking neural P systems with non-permanency of spikes assumption characterize 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.}, keywords = {fypercomputation, Membrane computing, reaction system, SAT, semilinear set}, issn = {0169-2968}, doi = {10.3233/FI-2013-898}, url = {http://iospress.metapress.com/content/y724g8012056k237/?issue=1\&genre=article\&spage=99\&issn=0169-2968\&volume=127}, author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz Rozenberg} }