Skip to main content
Springer Nature Link
Log in

Spatial P systems

  • Published:
Save article
View saved research
Natural Computing Aims and scope Submit manuscript

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.

Access this article

Log in via an institution

Subscribe and save

Springer+
from €37.37 /Month
  • Starting from 10 chapters or articles per month
  • Access and download chapters and articles from more than 300k books and 2,500 journals
  • Cancel anytime
View plans

Buy Now

Price includes VAT (Netherlands)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
The alternative text for this image may have been generated using AI.
Fig. 2
The alternative text for this image may have been generated using AI.
Fig. 3
The alternative text for this image may have been generated using AI.
Fig. 4
The alternative text for this image may have been generated using AI.
Fig. 5
The alternative text for this image may have been generated using AI.
Fig. 6
The alternative text for this image may have been generated using AI.
Fig. 7
The alternative text for this image may have been generated using AI.
Fig. 8
The alternative text for this image may have been generated using AI.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects, suggested using machine learning.

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

    Article  MathSciNet  MATH  Google Scholar 

  • Barbuti R, Maggiolo-Schettini A, Milazzo P, Pardini G (2009a) Spatial calculus of looping sequences. ENTCS 229(1):21–39, In: FBTC 2008

    Google Scholar 

  • 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

    MathSciNet  MATH  Google Scholar 

  • 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

    Article  Google Scholar 

  • Bottoni P, Martín-Vide C, Pǎun G, Rozenberg G (2002) Membrane systems with promoters/inhibitors. Acta Informatica 38(10):695–720

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  Google Scholar 

  • John M, Ewald R, Uhrmacher AM (2008) A spatial extension to the π-calculus. ENTCS 194(3):133–148, In: FBTC 2007

    Google Scholar 

  • 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

    Google Scholar 

  • P Systems web page (2009) http://ppage.psystems.eu

  • Pǎun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143

    Article  Google Scholar 

  • Pǎun G (2002) Membrane computing. An introduction. Springer, Berlin

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127, Pisa, Italy

    Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Giovanni Pardini

  2. School of Science and Technology, Università di Camerino, Via Madonna delle Carceri 9, 62032, Camerino, MC, Italy

    Luca Tesei

Authors
  1. Roberto Barbuti
    View author publications

    Search author on:PubMed Google Scholar

  2. Andrea Maggiolo-Schettini
    View author publications

    Search author on:PubMed Google Scholar

  3. Paolo Milazzo
    View author publications

    Search author on:PubMed Google Scholar

  4. Giovanni Pardini
    View author publications

    Search author on:PubMed Google Scholar

  5. Luca Tesei
    View author publications

    Search author on:PubMed Google Scholar

Corresponding author

Correspondence to Giovanni Pardini.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue date:

  • DOI: https://doi.org/10.1007/s11047-010-9187-z

Keywords