Asynchronous Spiking Neural P Systems with Structural Plasticity

  • Francis George C. CabarleEmail author
  • Henry N. Adorna
  • Mario J. Pérez-Jiménez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9252)


Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we consider SNP systems with structural plasticity (in short, SNPSP systems) working in the asynchronous (in short, asyn mode). SNPSP systems represent a class of SNP systems that have dynamic synapses, i.e. neurons can use plasticity rules to create or remove synapses. We prove that for asyn mode, bounded SNPSP systems (where any neuron produces at most one spike each step) are not universal, while unbounded SNPSP systems with weighted synapses (a weight associated with each synapse allows a neuron to produce more than one spike each step) are universal. The latter systems are similar to SNP systems with extended rules in asyn mode (known to be universal) while the former are similar to SNP systems with standard rules only in asyn mode (conjectured not to be universal). Our results thus provide support to the conjecture of the still open problem.


Membrane computing Spiking neural P systems Structural plasticity Asynchronous systems Turing universality 



Cabarle is supported by a scholarship from the DOST-ERDT of the Philippines. Adorna is funded by a DOST-ERDT grant and the Semirara Mining Corp. Professorial Chair of the College of Engineering, UP Diliman. M.J. Pérez-Jiménez acknowledges the support of the Project TIN2012-37434 of the “Ministerio de Economía y Competitividad” of Spain, co-financed by FEDER funds. Anonymous referees are also acknowledged in helping improve this work.


  1. 1.
    Cabarle, F.G.C., Adorna, H., Ibo, N.: Spiking neural P systems with structural plasticity. In: Pre-proceedings of 2nd Asian Conference on Membrane Computing, pp. 13–26, Chengdu, 4–7 November 2013Google Scholar
  2. 2.
    Cabarle, F.G.C., Adorna, H.N., Pérez-Jiménez, M.J., Song, T.: Spiking neural P systems with structural plasticity. Neural Comput. Appl. 26(131), 1129–1136 (2015). doi: 10.1007/s00521-015-1857-4 Google Scholar
  3. 3.
    Cavaliere, M., Egecioglu, O., Ibarra, O.H., Ionescu, M., Păun, G., Woodworth, S.: Asynchronous spiking neural P systems: decidability and undecidability. In: Garzon, M.H., Yan, H. (eds.) DNA 2007. LNCS, vol. 4848, pp. 246–255. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  4. 4.
    Chen, H., Ionescu, M., Ishdorj, T.-I., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Natural Comput. 7, 147–166 (2008)CrossRefzbMATHGoogle Scholar
  5. 5.
    Cavaliere, M., Ibarra, O., Păun, G., Egecioglu, O., Ionescu, M., Woodworth, S.: Asynchronous spiking neural P systems. Theor. Com. Sci. 410, 2352–2364 (2009)CrossRefzbMATHGoogle Scholar
  6. 6.
    Ibarra, O.H., Woodworth, S.: Spiking neural P systems: some characterizations. In: Csuhaj-Varjú, E., Ésik, Z. (eds.) FCT 2007. LNCS, vol. 4639, pp. 23–37. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  7. 7.
    Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundam. Inform. 71(2–3), 279–308 (2006)zbMATHGoogle Scholar
  8. 8.
    Minsky, M.: Computation: Finite and infinite machines. Prentice Hall, Englewood Cliffs (1967) zbMATHGoogle Scholar
  9. 9.
    Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division and budding. Sci. China Inf. Sci. 54(8), 1596–1607 (2011)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Pan, L., Wang, J., Hoogeboom, J.H.: Spiking neural P systems with astrocytes. Neural Comput. 24, 805–825 (2012)CrossRefMathSciNetzbMATHGoogle Scholar
  11. 11.
    Păun, A., Păun, G.: Small universal spiking neural P systems. Biosystems 90, 48–60 (2007)CrossRefGoogle Scholar
  12. 12.
    Păun, G.: Membrane Computing: An Introduction. Springer, New York (2002)CrossRefGoogle Scholar
  13. 13.
    Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press, New York (2009) Google Scholar
  14. 14.
    Song, T., Pan, L., Păun, G.: Asynchronous spiking neural P systems with local synchronization. Inf. Sci. 219(10), 197–207 (2013)CrossRefzbMATHGoogle Scholar
  15. 15.
    Wang, J., Hoogeboom, H.J., Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with weights. Neural Comput. 22(10), 2615–2646 (2010)CrossRefMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Francis George C. Cabarle
    • 1
    Email author
  • Henry N. Adorna
    • 1
  • Mario J. Pérez-Jiménez
    • 2
  1. 1.Algorithms and Complexity Lab, Department of Computer ScienceUniversity of the Philippines DilimanQuezon CityPhilippines
  2. 2.Department of Computer Science and AIUniversity of SevillaSevillaSpain

Personalised recommendations