Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

Loïc Colson, Nataša Jonoska, Maurice Margenstern (auth.), Giancarlo Mauri, Gheorghe Păun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa (eds.)3540250808, 9783540250807

This book constitutes the thoroughly refereed extended postproceedings of the 5th International Workshop on Membrane Computing, WMC 2004, held in Milan, Italy in June 2004.

The 20 revised full papers presented together with 6 invited papers went through two rounds of reviewing and improvement. All current topics in the area of membrane computing are addressed, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics. Issues related to computational power and complexity classes, new classes of P systems, fuzzy approaches, and reversibility and energy consumption are dealt with as well.

---

Table of contents :
Front Matter….Pages –
λ P Systems and Typed λ -Calculus….Pages 1-18
P Automata….Pages 19-35
Asynchronous P Systems and P Systems Working in the Sequential Mode….Pages 36-62
Evolution and Oscillation in P Systems: Applications to Biological Phenomena….Pages 63-84
An Approach to Computational Complexity in Membrane Computing….Pages 85-109
LMNtal: A Language Model with Links and Membranes….Pages 110-125
Executable Specifications of P Systems….Pages 126-145
On the Efficiency of P Systems with Active Membranes and Two Polarizations….Pages 146-160
Communicative P Systems with Minimal Cooperation….Pages 161-177
Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts….Pages 178-189
Unstable P Systems: Applications to Linguistics….Pages 190-209
A P System Description of the Sodium-Potassium Pump….Pages 210-223
Inhibiting/De-inhibiting Rules in P Systems….Pages 224-238
Time–Independent P Systems….Pages 239-258
On Two-Dimensional Mesh Networks and Their Simulation with P Systems….Pages 259-277
Exploring Computation Trees Associated with P Systems….Pages 278-286
Approximating Non-discrete P Systems….Pages 287-295
Reducing the Size of Extended Gemmating P Systems….Pages 296-308
P Systems Generating Trees….Pages 309-319
On Descriptive Complexity of P Systems….Pages 320-330
P Systems with Symport/Antiport: The Traces of RBCs….Pages 331-343
Conservative Computations in Energy–Based P Systems….Pages 344-358
General Multi-fuzzy Sets and Fuzzy Membrane Systems….Pages 359-372
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes….Pages 373-388
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems….Pages 389-403
On the Size of P Systems with Minimal Symport/Antiport….Pages 404-413
Back Matter….Pages –