A Quick Survey of Tissue-Like P Systems

Membrane computing is a branch of natural computing, which abstracts from the architecture and the functioning of living cells. The models investigated in membrane computing are distributed and parallel computing devices, which are generically called P systems. Three main families have been considered until now: cell-like P systems, tissuelike P systems and neural-like P systems. In this work, we first present the definitions of tissue-like P systems and several variants of these systems, then some results about Turing universality and computational efficiency are recalled. Finally, a computational complexity theory within the framework of tissue-like P systems is introduced, polynomial complexity classes associated with several variants of tissue-like P systems are defined and some relevant results are presented. Different borderlines between efficiency and non-efficiency on the basis of the length of communication rules are presented. Key-words: Bio-inspired computing, Membrane computing, Tissue P system, Universality, Computational complexity

[1]  Benedek Nagy,et al.  Membrane Computing and Graphical Operating Systems , 2006, J. Univers. Comput. Sci..

[2]  Linqiang Pan,et al.  The computational power of tissue-like P systems with promoters , 2016, Theor. Comput. Sci..

[3]  Daniel Díaz-Pernil,et al.  A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time , 2015, UCNC.

[4]  Mario de Jesús Pérez Jiménez,et al.  Characterizing tractability by tissue-like p systems , 2009 .

[5]  Mario de Jesús Pérez Jiménez,et al.  Computational Efficiency of Cellular Division in Tissue-like Membrane Systems , 2008 .

[6]  Linqiang Pan,et al.  Flat maximal parallelism in P systems with promoters , 2016, Theor. Comput. Sci..

[7]  Linqiang Pan,et al.  Tissue-like P systems with evolutional symport/antiport rules , 2017, Inf. Sci..

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

[9]  Ferrante Neri,et al.  An Optimization Spiking Neural P System for Approximately Solving Combinatorial Optimization Problems , 2014, Int. J. Neural Syst..

[10]  Artiom Alhazov,et al.  Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells , 2005, Developments in Language Theory.

[11]  Rudolf Freund,et al.  (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode , 2010, Natural Computing.

[12]  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..

[13]  Linqiang Pan,et al.  Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way , 2016, IEEE Transactions on NanoBioscience.

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

[15]  Linqiang Pan,et al.  Flat maximal parallelism in tissue P systems with promoters , 2017 .

[16]  Artiom Alhazov,et al.  (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes , 2006, Fundam. Informaticae.

[17]  Mario J. Pérez-Jiménez,et al.  Characterizing Tractability by Cell-Like Membrane Systems , 2007, Formal Models, Languages and Applications.

[18]  Linqiang Pan,et al.  Computational efficiency and universality of timed P systems with active membranes , 2015, Theor. Comput. Sci..

[19]  Giancarlo Mauri,et al.  Modelling metapopulations with stochastic membrane systems , 2008, Biosyst..

[20]  Mario J. Pérez-Jiménez,et al.  An Approach to Computational Complexity in Membrane Computing , 2004, Workshop on Membrane Computing.

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

[22]  Miquel Rius Font,et al.  The Role of the Environment in Tissue P Systems with Cell Division , 2012 .

[23]  Marian Gheorghe,et al.  Further results on generalised communicating P systems , 2017, Theor. Comput. Sci..

[24]  Rudolf Freund,et al.  Tissue P Systems with Communication Modes , 2006, Workshop on Membrane Computing.

[25]  Marian Gheorghe,et al.  Computational Completeness of Tissue P Systems with Conditional Uniport , 2006, Workshop on Membrane Computing.

[26]  Linqiang Pan,et al.  Tissue P Systems with Protein on Cells , 2016, Fundam. Informaticae.

[27]  Linqiang Pan,et al.  The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules , 2018, Complex..

[28]  Marian Gheorghe,et al.  Cell communication in tissue P systems: universality results , 2005, Soft Comput..

[29]  Pierluigi Frisco,et al.  Applications of Membrane Computing in Systems and Synthetic Biology , 2014 .

[30]  Mario J. Pérez-Jiménez,et al.  The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment , 2012, Int. Conf. on Membrane Computing.

[31]  Gabriel Ciobanu,et al.  Applications of Membrane Computing , 2006, Applications of Membrane Computing.

[32]  Marian Gheorghe,et al.  Generalized communicating P systems , 2008, Theor. Comput. Sci..

[33]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[34]  Mario J. Pérez-Jiménez,et al.  Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division , 2007, IWINAC.

[35]  Vincenzo Manca,et al.  Biological networks in metabolic P systems , 2008, Biosyst..

[36]  Marian Gheorghe,et al.  Real-life Applications with Membrane Computing , 2017 .

[37]  Miguel Ángel Gutiérrez Naranjo,et al.  Counting Cells with Tissue-like P Systems , 2012 .

[38]  Andrei Paun,et al.  Computing by Communication in Networks of Membranes , 2002, Int. J. Found. Comput. Sci..

[39]  Raghavan Rama,et al.  Tissue P Systems with Contextual and Rewriting Rules , 2002, WMC-CdeA.

[40]  Hong Peng,et al.  Fault diagnosis of power systems using fuzzy tissue-like P systems , 2017, Integr. Comput. Aided Eng..

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

[42]  Artiom Alhazov,et al.  Solving HPP and SAT by P Systems with Active Membranes and Separation Rules , 2006, Acta Informatica.

[43]  Erzsébet Csuhaj-Varjú,et al.  On Generalized Communicating P Systems with One Symbol , 2010, Int. Conf. on Membrane Computing.

[44]  Mario J. Pérez-Jiménez,et al.  Efficient simulation of tissue-like P systems by transition cell-like P systems , 2008, Natural Computing.

[45]  Erzsébet Csuhaj-Varjú,et al.  On generalized communicating P systems with minimal interaction rules , 2011, Theor. Comput. Sci..

[46]  Linqiang Pan,et al.  P Systems with Active Membranes and Separation Rules , 2004, J. Univers. Comput. Sci..

[47]  Kamala Krithivasan,et al.  P Systems with Membrane Creation: Universality and Efficiency , 2001, MCU.

[48]  Mario J. Pérez-Jiménez,et al.  A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study , 2011 .

[49]  Mario de Jesús Pérez Jiménez,et al.  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division , 2012 .

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

[51]  Petr Sosík,et al.  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation , 2015, Fundam. Informaticae.

[52]  Mario J. Pérez-Jiménez,et al.  Computational complexity of tissue-like P systems , 2010, J. Complex..

[53]  Matteo Cavaliere.  Evolution-Communication P Systems , 2002, WMC-CdeA.

[54]  Rudolf Freund,et al.  Tissue P systems with channel states , 2005, Theor. Comput. Sci..

[55]  Mario J. Pérez-Jiménez,et al.  Fuzzy reasoning spiking neural P systems revisited: A formalization , 2017, Theor. Comput. Sci..