Proceedings


ISBN 978-3-86805-721-8
Marian Gheorghe, Thomas Hinze, Gheorghe Paun (Editors)
Proceedings of the Eleventh International Conference on Membrane Computing
Verlag ProBusiness Berlin, 482 p., 2010
ISBN 978-3-86805-721-8

Having now for the first time the status of a conference, CMC11 is pleased to continue the fruitful tradition of 10 previous events of the International Workshop on Membrane Computing (WMC) inspired by the idea of bringing together researchers working in membrane computing or related areas in a friendly atmosphere enhancing communication and cooperation. This volume contains seven abstracts of keynote and invited talks together with 26 accepted papers and six contributions accepted as extended abstracts. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells. From a systems biological point of view, membrane systems provide a discrete modelling approach to describe biological reaction systems composed of interconnected membranes.



Preface

Welcome Address of the Jena Centre for Bioinformatics (JCB)

Contents

Keynotes

Membrane Computing at Twelve Years
G. Paun
3
The Brave New World of RNA
P. Stadler
5
Testing Based on P Systems - An Overview
M. Gheorghe, F. Ipate
7

Invited Talks

Mobility in Computer Science and in Membrane Systems
G. Ciobanu
13
Organization Oriented Chemical Computing
P. Dittrich
15
Cellular Automata and the Quest for Artificial Self-Reproducing Structures
M. Kutrib
17
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later
M. Margenstern
19

Full Papers

Flattening the Transition P Systems with Dissolution
O. Agrigoroaiei, G. Ciobanu
25
The Family of Languages Generated by Non-Cooperative Membrane Systems
A. Alhazov, C. Ciubotaru, Y. Rogozhin, S. Ivanov
37
Polymorphic P Systems
A. Alhazov, S. Ivanov, Y. Rogozhin
53
A Small Universal Splicing P System
A. Alhazov, Y. Rogozhin, S. Verlan
67
On the Expressive Power of Membrane Systems Working in Accepting Mode
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini
75
BioSimWare: A P Systems-Based Simulation Environment for Biological Systems
D. Besozzi, P. Cazzaniga, G. Mauri, D. Pescini
93
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P Systems
M.A. Colomer, S. Lavin, I. Marco, A. Margalida, I. Perez-Hurtado, M.J. Perez-Jimenez, D. Sanuy, E. Serrano, L. Valencia-Cabrera
121
On Generalized Communicating P Systems with One Symbol
E. Csuhaj-Varjú, G. Vaszil, S. Verlan
137
Design Pattern-Based Solutions for General Membrane System Components
I. Dinca
155
A Faster P Solution for the Byzantine Agreement Problem
M.J. Dinneen, Y.B. Kim, R. Nicolescu
167
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough
R. Freund, M. Kogler
193
P Systems and Unique-Sum Sets
P. Frisco
205
An Integrated Approach to P Systems Formal Verification
M. Gheorghe, F. Ipate, R. Lefticaru, C. Dragomir
225
Using the SRSim Software for Spatial and Rule-Based Modelling of Combinatorially Complex Biochemical Reaction Systems
G. Grünert, P. Dittrich
239
Depth-First Search with P Systems
M.A. Gutierrez-Naranjo, M.J. Perez-Jimenez
257
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents using P Systems
P. Kefalas, I. Stamatopoulou
269
Goldbeters Mitotic Oscillator Entirely Modeled by MP Systems
V. Manca, L. Marchetti
277
Some Characteristics of Spiking Neural P Systems with Anti-Spikes
P. Metta, K. Krithivasan, D. Garg
291
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems
E. Mosca, P. Cazzaniga, D. Pescini, G. Mauri, L. Milanesi
305
A Universal Spiking Neural P System with 11 Neurons
T. Neary
327
Randomized Gandy-Paun-Rozenberg Machines
A. Obtulowicz
347
Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems
S. Peter, T. Veloz, P. Dittrich
369
P Systems with Elementary Active Membranes: Beyond NP and coNP
A.E. Porreca, A. Leporati, G. Mauri, C. Zandron
383
Polynomial Complexity Classes in Spiking Neural P Systems
P. Sosik, A. Rodriguez-Paton, L. Ciencialova
393
Spiking Neural P Systems with Neuron Division
J. Wang, H.J. Hoogeboom, L. Pan
407
Matrix Representation of Spiking Neural P Systems
X. Zeng, H. Adorna, M.A. Martinez-del-Amor, L. Pan, M.J. Perez-Jimenez
425

Extended Abstracts

Model of Surface Water Quality
V. Antohe, C. Stanciu
443
On PCol Automata Working in the t-Mode
L. Cienciala, L. Ciencialova
447
Tools for P System Testing
A. Ciobanu, R. Lefticaru, I.M. Niculescu, F. Ipate
451
Massive Data-Parallel Swarm Simulation and Visualisation using CUDA
P. Lucas
455
Conways Game of Life Accelerated with OpenCL
T. Rumpf
459
String-Object Transduction with Dogmatic P Systems
J.M. Sempere
463