We prove that asynchronous P systems with active membranes without division rules can be simulated by single-membrane transition P systems using cooperative rules, even if the synchronisation mechanisms provided by electrical charges and membrane dissolution are exploited. In turn, the latter systems can be simulated by means of place/transition Petri nets, and hence all these models are computationally weaker than Turing machines.
Leporati, A., Manzoni, L., Porreca, A. (2014). Flattening and simulation of asynchronous divisionless P systems with active membranes. In Membrane Computing, 14th International Conference, CMC 2013 (pp.238-248). Springer-Verlag Berlin Heidelberg [10.1007/978-3-642-54239-8_17].
Flattening and simulation of asynchronous divisionless P systems with active membranes
LEPORATI, ALBERTO OTTAVIO;MANZONI, LUCA;PORRECA, ANTONIO ENRICO
2014
Abstract
We prove that asynchronous P systems with active membranes without division rules can be simulated by single-membrane transition P systems using cooperative rules, even if the synchronisation mechanisms provided by electrical charges and membrane dissolution are exploited. In turn, the latter systems can be simulated by means of place/transition Petri nets, and hence all these models are computationally weaker than Turing machines.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Paper.pdf
Solo gestori archivio
Dimensione
314.11 kB
Formato
Adobe PDF
|
314.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
