Abstract
We present Spatial P systems, a variant of P systems which embodies the concept of space and position inside a membrane. Objects in membranes are associated with positions. Rules specify, in the usual way, the objects which are consumed and the ones which are produced; in addition, they can specify the positions of the produced objects. Objects belong to two different sets: the set of ordinary objects and the set of mutually exclusive objects. Every position inside a membrane can accommodate an arbitrary number of ordinary objects, but at most one mutually exclusive object. We prove that Spatial P systems are universal even if only non-cooperating rules are allowed. We also show how Spatial P systems can be used to model the evolution of populations in presence of geographical separations.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2008) Compositional semantics and behavioral equivalences for P Systems. Theor Comput Sci 395(1):77–100
Barbuti R, Maggiolo-Schettini A, Milazzo P, Pardini G (2009a) Spatial calculus of looping sequences. ENTCS 229(1):21–39, In: FBTC 2008
Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2009b) P systems with transport and diffusion membrane channels. Fundamenta Informaticae 93(1–3):17–31
Bartocci E, Di Berardini MR, Corradini F, Emanuela M, Tesei L (2009) A shape calculus for biological processes. In: Preproceedings of ICTCS 2009, Politecnico di Milano, pp 30–33
Besozzi D, Cazzaniga P, Pescini D, Mauri G (2008) Modelling Metapopulations with stochastic membrane systems. Biosystems 91(3):499–514
Bottoni P, Martín-Vide C, Pǎun G, Rozenberg G (2002) Membrane systems with promoters/inhibitors. Acta Informatica 38(10):695–720
Cardelli L, Gardner P (2009) Processes in space. Imperial College Technical Report DTR09-4
Cardona M, Colomer MA, Pérez-Jiménez MJ, Sanuy D, Margalida A (2009) Modeling ecosystems using P systems: the bearded vulture, a case study. In: Corne DW, Frisco P, Pǎun G, Rozenberg G, Salomaa A (eds) Membrane computing: 9th international workshop, Lecture notes in computer science, vol 5391, pp 137–156
Irwin DE, Irwin JH, Price TD (2001) Ring species as bridges between microevolution and speciation. Genetica 112–113(1):223–243
John M, Ewald R, Uhrmacher AM (2008) A spatial extension to the π-calculus. ENTCS 194(3):133–148, In: FBTC 2007
Manca V, Bianco L, Fontana F (2004) Evolution and oscillation in P systems: applications to biological phenomena. In: Mauri G, Pǎun G, Pérez-Jiménez MJ, Rozenberg G, Salomaa A (eds) Workshop on membrane computing, Springer, Lecture notes in computer science, vol 3365, pp 63–84
Neumann JV (1966) Theory of self-reproducing automata. University of Illinois Press, Champaign, IL
P Systems web page (2009) http://ppage.psystems.eu
Pǎun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143
Pǎun G (2002) Membrane computing. An introduction. Springer, Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. et al. Spatial P systems. Nat Comput 10, 3–16 (2011). https://doi.org/10.1007/s11047-010-9187-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-010-9187-z