P Systems with Transport and Diffusion Membrane Channels

  • Authors:
  • Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Simone Tini

  • Affiliations:
  • (Correspd.) Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo}@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo}@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo}@di.unipi.it;Dipartimento di Scienze della Cultura, Politiche e dell'Informazione, Università dell'Insubria, Via Carloni 78, 22100 Como, Italy. simone.tini@uninsubria.it

  • Venue:
  • Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

P Systems are computing devices inspired by the structure and the functioning of a living cell. A P System consists of a hierarchy of membranes, each of them containing a multiset of objects, a set of evolution rules, and possibly other membranes. Evolution rules are applied to the objects of the same membrane with maximal parallelism. In this paper we present an extension of P Systems, called P Systems with Membrane Channels (PMC Systems), in which membranes are enriched with channels and objects can pass through a membrane only if there are channels on the membrane that enable such a passage. We show that PMC Systems are universal even if only the simplest form of evolution rules is considered, and we give two application examples.