Turing Incompleteness of Asynchronous P Systems with Active Membranes
Porreca, Antonio E.
Publisher: Fénix Editora
We prove that asynchronous P systems with active membranes without divi-
sion rules can be simulated by place/transition Petri nets, and hence are computationally
weaker than Turing machines. This result holds even if the synchronisation mechanisms
provided by ...