Skip to main content
Erschienen in: Natural Computing 1/2011

01.03.2011

Spatial P systems

verfasst von: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei

Erschienen in: Natural Computing | Ausgabe 1/2011

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2008) Compositional semantics and behavioral equivalences for P Systems. Theor Comput Sci 395(1):77–100MathSciNetMATHCrossRef Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2008) Compositional semantics and behavioral equivalences for P Systems. Theor Comput Sci 395(1):77–100MathSciNetMATHCrossRef
Zurück zum Zitat 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, Pardini G (2009a) Spatial calculus of looping sequences. ENTCS 229(1):21–39, In: FBTC 2008
Zurück zum Zitat Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2009b) P systems with transport and diffusion membrane channels. Fundamenta Informaticae 93(1–3):17–31MathSciNetMATH Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2009b) P systems with transport and diffusion membrane channels. Fundamenta Informaticae 93(1–3):17–31MathSciNetMATH
Zurück zum Zitat 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 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
Zurück zum Zitat Besozzi D, Cazzaniga P, Pescini D, Mauri G (2008) Modelling Metapopulations with stochastic membrane systems. Biosystems 91(3):499–514CrossRef Besozzi D, Cazzaniga P, Pescini D, Mauri G (2008) Modelling Metapopulations with stochastic membrane systems. Biosystems 91(3):499–514CrossRef
Zurück zum Zitat Bottoni P, Martín-Vide C, Pǎun G, Rozenberg G (2002) Membrane systems with promoters/inhibitors. Acta Informatica 38(10):695–720MathSciNetMATHCrossRef Bottoni P, Martín-Vide C, Pǎun G, Rozenberg G (2002) Membrane systems with promoters/inhibitors. Acta Informatica 38(10):695–720MathSciNetMATHCrossRef
Zurück zum Zitat Cardelli L, Gardner P (2009) Processes in space. Imperial College Technical Report DTR09-4 Cardelli L, Gardner P (2009) Processes in space. Imperial College Technical Report DTR09-4
Zurück zum Zitat 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 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
Zurück zum Zitat Irwin DE, Irwin JH, Price TD (2001) Ring species as bridges between microevolution and speciation. Genetica 112–113(1):223–243CrossRef Irwin DE, Irwin JH, Price TD (2001) Ring species as bridges between microevolution and speciation. Genetica 112–113(1):223–243CrossRef
Zurück zum Zitat John M, Ewald R, Uhrmacher AM (2008) A spatial extension to the π-calculus. ENTCS 194(3):133–148, In: FBTC 2007 John M, Ewald R, Uhrmacher AM (2008) A spatial extension to the π-calculus. ENTCS 194(3):133–148, In: FBTC 2007
Zurück zum Zitat 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 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
Zurück zum Zitat Neumann JV (1966) Theory of self-reproducing automata. University of Illinois Press, Champaign, IL Neumann JV (1966) Theory of self-reproducing automata. University of Illinois Press, Champaign, IL
Zurück zum Zitat Pǎun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143CrossRef Pǎun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143CrossRef
Zurück zum Zitat Pǎun G (2002) Membrane computing. An introduction. Springer, Berlin Pǎun G (2002) Membrane computing. An introduction. Springer, Berlin
Metadaten
Titel
Spatial P systems
verfasst von
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Giovanni Pardini
Luca Tesei
Publikationsdatum
01.03.2011
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 1/2011
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-010-9187-z

Weitere Artikel der Ausgabe 1/2011

Natural Computing 1/2011 Zur Ausgabe

Premium Partner