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.E. (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].
Citazione: | Leporati, A., Manzoni, L., & Porreca, A.E. (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]. | |
Tipo: | slide + paper | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | Si | |
Titolo: | Flattening and simulation of asynchronous divisionless P systems with active membranes | |
Autori: | Leporati, A; Manzoni, L; Porreca, AE | |
Autori: | ||
Data di pubblicazione: | 2014 | |
Lingua: | English | |
Nome del convegno: | International Conference on Membrane Computing, CMC 20-23 august | |
ISBN: | 978-364254238-1 | |
Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-642-54239-8_17 | |
Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Paper.pdf | N/A | Administrator Richiedi una copia |