Abstract
For many models of P systems and tissue P systems, the main behavior of a specific system can be simulated by a corresponding system with only one membrane or cell, respectively; this effective construction is called flattening. In this paper we describe the main procedure of flattening for specific variants of static (tissue) P systems as well as for classes of dynamic (tissue) P systems with a bounded number of possible membrane structures or a bounded number of cells during any computation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alhazov, A., Antoniotti, M., Freund, R., Leporati, A., Mauri, G.: Self-stabilization in membrane systems. The Computer Science Journal of Moldova 20(2), 133–146 (2012)
Agrigoroaiei, O., Ciobanu, G.: Flattening the transition P systems with dissolution. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 53–64. Springer, Heidelberg (2010)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer (1989)
Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theor. Comp. Sci. 330, 251–266 (2005)
Freund, R., Pérez-Hurtado, I., Riscos-Núñez, A., Verlan, S.: A formalization of membrane systems with dynamically evolving structures. Int. J. Comput. Math. 90(4), 801–815 (2013)
Freund, R., Verlan, S.: A formal framework for static (tissue) P systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 271–284. Springer, Heidelberg (2007)
Freund, R., Verlan, S.: (Tissue) P systems working in the k-restricted minimally parallel derivation mode. In: Csuhaj-Varjú, E., Freund, R., Oswald, M., Salomaa, K. (eds.) International Workshop on Computing with Biomolecules, Wien, Austria, August 27, vol. 244, pp. 43–52 (2008), books@ocg.at, OCG
Leporati, A., Manzoni, L., Porreca, A.E.: Flattening and simulation of asynchronous divisionless P systems with active membranes. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013, vol. 8340, pp. 238–248. Springer, Heidelberg (2014)
Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: Improved universality results for parallel enzymatic numerical P systems. International Journal of Unconventional Computing 9(5-6), 385–404 (2013)
Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000); see also TUCS Report 208 (November 1998), www.tucs.fi
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vols. Springer (1997)
The P Systems Website, http://ppage.psystems.eu
Verlan, S.: Using the formal framework for P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013, vol. 8340, pp. 57–80. Springer, Heidelberg (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freund, R., Leporati, A., Mauri, G., Porreca, A.E., Verlan, S., Zandron, C. (2014). Flattening in (Tissue) P Systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2013. Lecture Notes in Computer Science, vol 8340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54239-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-54239-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54238-1
Online ISBN: 978-3-642-54239-8
eBook Packages: Computer ScienceComputer Science (R0)