Abstract
A variety of different transition modes for (tissue) P systems as well as several halting modes currently are used in the area of membrane computing. In this paper, the definitions of the most important transition modes and halting modes are explained based on networks of cells, a general model for tissue P systems. Moreover, some results for specific variants of (tissue) P systems working on multisets of objects are recalled.
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., Freund, R., Oswald, M., Slavkovik, M.: Extended spiking neural P systems generating strings and vectors of non-negative integers. In: Hoogeboom, H.J., Paun, Gh., Rozenberg, G. (eds.) Pre-proceedings of Membrane Computing, International Workshop, WMC7, Leiden, The Netherlands, pp. 88–101 (2006)
Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial versus total halting in P systems. In: Gutiérrez-Naranjo, M.A., Păun, Gh., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop, Fénix Editorial, Sevilla, pp. 1–20 (2005)
Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial halting in P systems using membrane rules with permitting contexts. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol. 4664, pp. 110–121. Springer, Heidelberg (2007)
Beyreder, M., Freund, R.: (Tissue) P systems using noncooperative rules without halting conditions. In: Frisco, P., et al. (eds.) Pre-Proc. Ninth Workshop on Membrane Computing (WMC9), Edinburgh, pp. 85–94 (2008)
Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S.: Networks of Cells and Petri Nets. In: Gutiérrez-Naranjo, M.A., et al. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 33–62 (2007)
Ciobanu, G., Pan, L., Păun, Gh., Pérez-Jim énez, M.J.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117–130 (2007)
Csuhaj-Varjú, E.: Networks of language processors. Current Trends in Theoretical Computer Science, 771–790 (2001)
Dassow, J., Păun, Gh.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33–49 (1999)
Freund, R., Kari, L., Oswald, M., SosÃk, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theoretical Computer Science 330, 251–266 (2005)
Freund, R., Oswald, M.: Partial halting in P systems. Intern. J. Foundations of Computer Sci. 18, 1215–1225 (2007)
Freund, R., Păun, Gh., Pérez-Jiménez, M.J.: Tissue-like P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)
Freund, R., Verlan, S.: A formal framework for P systems. In: Eleftherakis, G., Kefalas, P., Paun, Gh. (eds.) Pre-proceedings of Membrane Computing, International Workshop – WMC8, Thessaloniki, Greece, pp. 317–330 (2007)
Freund, R., Verlan, S.: (Tissue) P systems working in the k-restricted minimally parallel derivation mode. In: Csuhaj-Varjú, E., et al. (eds.) Proceedings of the International Workshop on Computing with Biomolecules, Österreichische Computer Gesellschaft, pp. 43–52 (2008)
Ionescu, M., Păun, Gh., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)
Păun, A., Păun, Gh.: The power of communication: P systems with symport/ antiport. New Generation Computing 20(3), 295–306 (2002)
Păun, Gh.: Computing with membranes. J. of Computer and System Sciences 61(1), 108–143 (2000); TUCS Research Report 208 (1998), http://www.tucs.fi
Păun, Gh.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Rogozhin, Y., Alhazov, A., Freund, R.: Computational power of symport/antiport: history, advances, and open problems. In: Freund, R., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 1–30. Springer, Heidelberg (2006)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vols. Springer, Berlin (1997)
Păun, Gh., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Matimaticae 60, 635–660 (2002)
Păun, Gh., Yokomori, T.: Membrane computing based on splicing. In: Winfree, E., Gifford, D.K. (eds.) DNA Based Computers V. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 54, pp. 217–232. American Mathematical Society, Providence (1999)
The P Systems, http://ppage.psystems.eu
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freund, R. (2010). Transition and Halting Modes in (Tissue) P Systems. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2009. Lecture Notes in Computer Science, vol 5957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11467-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-11467-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11466-3
Online ISBN: 978-3-642-11467-0
eBook Packages: Computer ScienceComputer Science (R0)