Distributed models in P-Systems architectures to reduce computation time

Membrane systems are computational equivalent to Turing machines. However, their distributed and massively parallel nature obtains polynomial solutions opposite to traditional non-polynomial ones. At this point, it is very important to develop dedicated hardware and software implementations exploiting those two membrane systems features. Dealing with distributed implementations of P systems, the bottleneck communication problem has arisen. When the number of membranes grows up, the network gets congested. The purpose of distributed architectures is to reach a compromise between the massively parallel character of the system and the needed evolution step time to transit from one configuration of the system to the next one, solving the bottleneck communication problem. The goal of this paper is twofold. Firstly, to survey in a systematic and uniform way the main results regarding the way membranes can be placed on processors in order to get a software/hardware simulation of P-Systems in a distributed environment. Secondly, we improve some results about the membrane dissolution problem, prove that it is connected, and discuss the possibility of simulating this property in the distributed model. All this yields an improvement in the system parallelism implementation since it gets an increment of the parallelism of the external communication among processors. Proposed ideas improve previous architectures to tackle the communication bottleneck problem, such as reduction of the total time of an evolution step, increase of the number of membranes that could run on a processor and reduction of the number of processors.

[1]  Victor Mitrana,et al.  Networks of evolutionary processors , 2003, Acta Informatica.

[2]  Fernando Arroyo,et al.  Algorithm of active rules elimination for application of evolution rules , 2007 .

[3]  Rudolf Freund,et al.  Computationally universal P systems without priorities: two catalysts are sufficient , 2005, Theor. Comput. Sci..

[4]  Christof Teuscher,et al.  A Reconfigurable Hardware Membrane System , 2003, Workshop on Membrane Computing.

[5]  Fernando Arroyo,et al.  Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System , 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[6]  Fernando Arroyo,et al.  A Software Simulation of Transition P Systems in Haskell , 2002, WMC-CdeA.

[7]  Fernando Arroyo,et al.  An architecture for attacking the communication bottleneck in P systems , 2007, Artificial Life and Robotics.

[8]  Marian Gheorghe,et al.  Population P Systems , 2004, J. Univers. Comput. Sci..

[9]  Rudolf Freund,et al.  P Systems with Antiport Rules for Evolution Rules , 2004 .

[11]  Fernando Arroyo,et al.  Master-slave distributed architecture for membrane systems implementation , 2007 .

[12]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[13]  Rudolf Freund,et al.  Plenary lecture III: an integrating view on DNA computing and membrane computing , 2008 .

[14]  Gabriel Ciobanu,et al.  P Systems Running on a Cluster of Computers , 2003, Workshop on Membrane Computing.

[15]  Apostolos Syropoulos,et al.  A Distributed Simulation of Transition P Systems , 2003, Workshop on Membrane Computing.

[16]  Kamala Krithivasan,et al.  Improved Results about Universality of P systems , 2002, Bull. EATCS.

[17]  Victor Mitrana,et al.  Solving NP-Complete Problems With Networks of Evolutionary Processors , 2001, IWANN.

[18]  Fernando Arroyo,et al.  A hardware circuit for selecting active rules in transition P systems , 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).

[19]  Mario J. Pérez-Jiménez,et al.  Tenth Workshop on Membrane Computing , 2009 .

[20]  Alfonso Rodríguez-Patón.  On the Universality of P Systems with Membrane Creation , 2001, Bull. EATCS.

[21]  Fernando Arroyo,et al.  Decision Trees For Obtaining Active Rules in Transition P Systems , 2009 .

[22]  Fernando Arroyo,et al.  A HIERARCHICAL ARCHITECTURE WITH PARALLEL COMUNICATION FOR IMPLEMENTING P SYSTEMS , 2008 .