Membrane Computing: 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

Ioan I. Ardelean (auth.), Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa (eds.)3540690883, 9783540690887

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.

---

Table of contents :
Front Matter….Pages –
Biological Roots and Applications of P Systems: Further Suggestions….Pages 1-17
Formalizing Spherical Membrane Structures and Membrane Proteins Populations….Pages 18-41
Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations….Pages 42-48
A Modeling Approach Based on P Systems with Bounded Parallelism….Pages 49-65
Synchrony and Asynchrony in Membrane Systems….Pages 66-85
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations….Pages 86-99
Modeling Signal Transduction Using P Systems….Pages 100-122
Extended Spiking Neural P Systems….Pages 123-134
Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes….Pages 135-153
Expressing Control Mechanisms of Membranes by Rewriting Strategies….Pages 154-169
Tissue P Systems with Communication Modes….Pages 170-182
Towards a Hybrid Metabolic Algorithm….Pages 183-196
Towards a P Systems Pseudomonas Quorum Sensing Model….Pages 197-214
Membrane Systems with External Control….Pages 215-232
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers….Pages 233-249
Computing with Genetic Gates, Proteins, and Membranes….Pages 250-265
Classifying States of a Finite Markov Chain with Membrane Computing….Pages 266-278
Partial Knowledge in Membrane Systems: A Logical Approach….Pages 279-297
Tau Leaping Stochastic Simulation Method in P Systems….Pages 298-313
P Machines: An Automata Approach to Membrane Computing….Pages 314-329
Modeling Dynamical Parallelism in Bio-systems….Pages 330-351
P Colonies with a Bounded Number of Cells and Programs….Pages 352-366
P Finite Automata and Regular Languages over Countably Infinite Alphabets….Pages 367-381
Mitotic Oscillators as MP Graphs….Pages 382-394
Infinite Hierarchies of Conformon-P Systems….Pages 395-408
A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks….Pages 409-423
Characterizations of Some Restricted Spiking Neural P Systems….Pages 424-442
A Membrane Algorithm for the Min Storage Problem….Pages 443-462
P Systems with Symport/Antiport and Time….Pages 463-476
Towards Probabilistic Model Checking on P Systems Using PRISM….Pages 477-495
Graphical Modeling of Higher Plants Using P Systems….Pages 496-506
Identifying P Rules from Membrane Structures with an Error-Correcting Approach….Pages 507-520
Computational Completeness of Tissue P Systems with Conditional Uniport….Pages 521-535
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems….Pages 536-553
Back Matter….Pages –