@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}
}
