Membrane Computing

1. Front Matter

   PDF

2. Invited Lectures

   1. Biological Roots and Applications of P Systems: Further Suggestions

      • Ioan I. Ardelean

      Pages 1-17

   2. Formalizing Spherical Membrane Structures and Membrane Proteins Populations

      • Daniela Besozzi, Grzegorz Rozenberg

      Pages 18-41

   3. Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations

      • Miguel Cámara

      Pages 42-48

   4. A Modeling Approach Based on P Systems with Bounded Parallelism

      • Francesco Bernardini, Francisco J. Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez

      Pages 49-65

   5. Synchrony and Asynchrony in Membrane Systems

      • Jetty Kleijn, Maciej Koutny

      Pages 66-85

   6. MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations

      • Vincenzo Manca

      Pages 86-99

   7. Modeling Signal Transduction Using P Systems

      • Andrei Păun, Mario J. Pérez-Jiménez, Francisco J. Romero-Campero

      Pages 100-122

3. Regular Papers

   1. Extended Spiking Neural P Systems

      • Artiom Alhazov, Rudolf Freund, Marion Oswald, Marija Slavkovik

      Pages 123-134

   2. Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes

      • Artiom Alhazov, Yurii Rogozhin

      Pages 135-153

   3. Expressing Control Mechanisms of Membranes by Rewriting Strategies

      • Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

      Pages 154-169

   4. Tissue P Systems with Communication Modes

      • Francesco Bernardini, Rudolf Freund

      Pages 170-182

   5. Towards a Hybrid Metabolic Algorithm

      • Luca Bianco, Federico Fontana

      Pages 183-196

   6. Towards a P Systems Pseudomonas Quorum Sensing Model

      • Luca Bianco, Dario Pescini, Peter Siepmann, Natalio Krasnogor, Francisco J. Romero-Campero, Marian Gheorghe

      Pages 197-214

   7. Membrane Systems with External Control

      • Robert Brijder, Matteo Cavaliere, Agustín Riscos-Núñez, Grzegorz Rozenberg, Dragoş Sburlan

      Pages 215-232

   8. A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers

      • Nadia Busi, Miguel A. Gutiérrez-Naranjo

      Pages 233-249

   9. Computing with Genetic Gates, Proteins, and Membranes

      • Nadia Busi, Claudio Zandron

      Pages 250-265

   10. Classifying States of a Finite Markov Chain with Membrane Computing

       • Mónica Cardona, M. Angels Colomer, Mario J. Pérez-Jiménez, Alba Zaragoza

       Pages 266-278

   11. Partial Knowledge in Membrane Systems: A Logical Approach

       • Matteo Cavaliere, Radu Mardare

       Pages 279-297

   12. Tau Leaping Stochastic Simulation Method in P Systems

       • Paolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri

       Pages 298-313

The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17–21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235),in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next three workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, and in Vienna, Austria, in July 2005, with the proceedings published as volumes 2933, 3365, and 3850, respectively, of Lecture Notes in Computer Science. The 2006edition of WMC wasorganized(and supported) byLorentzCenter, Leiden, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine. Furthermore, the meeting was planned also as an event promoting the interaction and co- eration between the participants (e. g. , the workshop was one day longer than usually, with afternoons devoted mainly to joint work). The pre-proceedings of WMC7 were published by the Institute of Advanced Computer Science (LIACS) of Leiden University, and they were availableduring theworkshop.

• Computer
• Markov chain
• algorithms
• bioinformatics
• biological membrane systems
• biologically inspired computing
• brane calculi
• computer science
• formal languages
• mambrane computing
• membrane algorithms
• membrane systems
• model checking
• modeling
• molecular co

• Leiden Institute of Advanced Computer Science, Universiteit Leiden, Leiden, The Netherlands

  Hendrik Jan Hoogeboom

• Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

  Gheorghe Păun

• Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

• Turku Centre for Computer Science (TUCS), Turku, Finland

  Arto Salomaa

Policies and ethics