Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers

Artiom Alhazov, Matteo Cavaliere (auth.), Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa (eds.)354020895X, 9783540208952, 9783540246190

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC 2003, held in Tarragona, Spain, in July 2003.

The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current topics in the emerging area of membrane computing are addressed, ranging from issues in mathematics and theoretical computer science to (potential) applications in biology, bioinformatics, sorting, ranking, linguistics, and computer graphics; several implementations and simulations on computers, computer networks, and reconfigurable hardware are presented too.

---

Table of contents :
Front Matter….Pages –
Proton Pumping P Systems….Pages 1-18
A Binary Data Structure for Membrane Processors: Connectivity Arrays….Pages 19-30
Parsing with Active P Automata….Pages 31-42
Universality of Minimal Symport/Antiport: Five Membranes Suffice….Pages 43-54
Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts….Pages 55-69
Evolution and Observation: A New Way to Look at Membrane Systems….Pages 70-87
Tiling Rectangular Pictures with P Systems….Pages 88-103
Simulating Boolean Circuits with P Systems….Pages 104-122
P Systems Running on a Cluster of Computers….Pages 123-139
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem….Pages 140-152
On the Dynamics of PB Systems: A Petri Net View….Pages 153-167
P Systems Generating Hexagonal Picture Languages….Pages 168-180
A Membrane System for the Leukocyte Selective Recruitment….Pages 181-190
P Systems with Cutting/Recombination Rules Assigned to Membranes….Pages 191-202
ω -P Automata with Communication Rules….Pages 203-217
The Number of Membranes Matters….Pages 218-231
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies….Pages 232-239
Can Hyperbolic Geometry Be of Help for P Systems?….Pages 240-249
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes….Pages 250-268
A Reconfigurable Hardware Membrane System….Pages 269-285
P Systems and Petri Nets….Pages 286-303
Simulation of Mobile Ambients by P Systems. Part 1….Pages 304-319
Computing Partial Recursive Functions by Transition P Systems….Pages 320-340
P Systems with External Input and Learning Strategies….Pages 341-356
A Distributed Simulation of Transition P Systems….Pages 357-368
About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems….Pages 369-382
Back Matter….Pages –