A P-Lingua based simulator for tissue P systems

Abstract Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational efficiency, and on the other hand exploring the possibilities to use them as a computational modelling framework to biological phenomena. In both cases it is necessary to develop software that provides simulation tools (simulators) for the existing variety of tissue P systems. Such simulators allow us to carry on computations of solutions to computationally hard problems on certain (small) instances. Moreover, they also provide a way to verify tissue-like models for real biological processes, by means of experimental data. The paper presents an extension of P-Lingua (a specification language intended to become a standard for software devoted to P systems), in order to cover the class of tissue-like P systems, that were not considered in the previous release. This extension involves on one hand defining the syntax to be used, and on the other hand introducing a new built-in simulation algorithm that has been added to the core library of P-Lingua.

[1]  Carlos Martín-Vide,et al.  Membrane systems with carriers , 2002, Theor. Comput. Sci..

[2]  Mario J. Pérez-Jiménez,et al.  Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study , 2009, Workshop on Membrane Computing.

[3]  Mario J. Pérez-Jiménez,et al.  Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division , 2009, IWINAC.

[4]  Mario J. Pérez-Jiménez,et al.  A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems , 2008, Artificial Life.

[5]  Cristian S. Calude,et al.  Unconventional Models of Computation, UMC’2K , 2001, Discrete Mathematics and Theoretical Computer Science.

[6]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[7]  Grzegorz Rozenberg.  DNA Processing in Ciliates - the Wonders of DNA Computing in vivo , 2000, UMC.

[8]  Mario J. Pérez-Jiménez,et al.  A Polynomial Complexity Class in P Systems Using Membrane Division , 2003, DCFS.

[9]  Mario de Jesús Pérez Jiménez,et al.  Complexity Classes in Cellular Computing with Membranes , 2003 .

[10]  Mario J. Pérez-Jiménez,et al.  A P-Lingua Programming Environment for Membrane Computing , 2008, Workshop on Membrane Computing.

[11]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[12]  Mario J. Pérez-Jiménez,et al.  An Overview of P-Lingua 2.0 , 2009, Workshop on Membrane Computing.

[13]  Gheorghe Păun,et al.  Tissue P Systems with Cell Division , 2008, Int. J. Comput. Commun. Control.

[14]  Mario J. Pérez-Jiménez,et al.  Complexity classes in models of cellular computing with membranes , 2003, Natural Computing.

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

[16]  Mario J. Pérez-Jiménez,et al.  A uniform family of tissue P systems with cell division solving 3-COL in a linear time , 2008, Theor. Comput. Sci..