Abstract
The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial versus total halting in P systems. In: Gutiérrez-Naranjo, M.A., Păun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 1–20 (2007)
Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science 373(3), 163–181 (2007)
Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S.: Networks of Cells and Petri Nets. In: Gutiérrez-Naranjo, M.A., Păun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 33–62 (2007)
Ciobanu, G., Andrei, O., Lucanu, D.: Structural operational semantics of P systems. In: [9], 1–23
Ciobanu, G., Pan, L., Păun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117–130 (2007)
Csuhaj-Varjú, E., Kari, L., Păun, G.: Test tube distributed systems based on splicing. Computers and AI 15(2–3), 211–232 (1996)
Csuhaj-Varjú, E.: Networks of Language Processors. Current Trends in Theoretical Computer Science, 771–790 (2001)
Dassow, J., Păun, G.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33–49 (1999)
Freund, R., Lojka, G., Oswald, M.: Gh. Păun (Eds.): WMC 2006. Pre-Proceedings of Sixth International Workshop on Membrane Computing, Vienna (June 18-21, 2005)
Freund, R., Oswald, M.: P systems with partial halting (accepted, 2007)
Freund, R., Păun, G., Pérez-Jiménez, M.J.: Tissue-like P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)
Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri net semantics for membrane systems. In: [9] 439–460
Păun, A., Păun, G.: The power of communication: P systems with symport/ antiport. New Generation Computing 20(3), 295–306 (2002)
Păun, G.: Computing with membranes. J. of Computer and System Sciences 61, 108–143 (2000), TUCS Research Report 208 (1998), http://www.tucs.fi
Păun, G.: 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, G., 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, vol. 3, Springer, Berlin (1997)
Păun, G., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Matimaticae 60 (2002)
Păun, G., 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, RI (1999)
The P Systems Web Page: http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freund, R., Verlan, S. (2007). A Formal Framework for Static (Tissue) P Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-77312-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77311-5
Online ISBN: 978-3-540-77312-2
eBook Packages: Computer ScienceComputer Science (R0)