Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

Luca Bianco, Alberto Castellini (auth.), George Eleftherakis, Petros Kefalas, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa (eds.)3540773118, 9783540773115

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. 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,volume 2235), in August 2001 (with a selection of papers published as a 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 four workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, in Vienna, Austria, in July 2005, and in Leiden, The Netherlands, in July 2006, with the proceedings published as volumes 2933, 3365, 3850, and 4361, respectively, of Lecture Notes in Computer Science. The 2007 edition of WMC was organized by the South-East European – search Centre in Thessaloniki, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the – ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. The pre-proceedings of WMC8 were published by the South-East European Research Centre, Thessaloniki, and they were available during the workshop. Each paper was refereed by two members of the Program Committee.

---

Table of contents :
Front Matter….Pages –
Psim: A Computational Platform for Metabolic P Systems….Pages 1-20
Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata….Pages 21-31
(UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power….Pages 32-53
The Calculus of Looping Sequences for Modeling Biological Membranes….Pages 54-76
Membrane Computing in Connex Environment….Pages 77-96
Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes….Pages 97-112
On the Reachability Problem in P Systems with Mobile Membranes….Pages 113-123
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets….Pages 124-137
A Hybrid Approach to Modeling Biological Systems….Pages 138-159
Causality in Membrane Systems….Pages 160-171
Simulating the Bitonic Sort Using P Systems….Pages 172-192
On the Number of Agents in P Colonies….Pages 193-208
Events, Causality, and Concurrency in Membrane Systems….Pages 209-227
P Systems with String Objects and with Communication by Request….Pages 228-239
On the Dynamics of PB Systems with Volatile Membranes….Pages 240-256
A Logarithmic Bound for Solving Subset Sum with P Systems….Pages 257-270
A Formal Framework for Static (Tissue) P Systems….Pages 271-284
Conformon-P Systems with Negative Values….Pages 285-297
Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation….Pages 298-319
Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo ….Pages 320-335
Solving Numerical NP-Complete Problems with Spiking Neural P Systems….Pages 336-352
Towards a Complete Covering of SBML Functionalities….Pages 353-366
Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P….Pages 367-384
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications….Pages 385-413
On Flip-Flop Membrane Systems with Proteins….Pages 414-427
Characterizing Membrane Structures Through Multiset Tree Automata….Pages 428-437
OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems….Pages 438-452
Back Matter….Pages –