A P-lingua based simulator for spiking neural P systems

Luis F. Macías-Ramos, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez

Research output: Chapter in Book/Report/Conference proceedingConference contribution

38 Scopus citations


The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of the computational completeness (they are equivalent in power to Turing machines) and computational efficiency of this kind of systems. These devices have been shown capable of providing polynomial time solutions to computationally hard problems by making use of an exponential workspace constructed in a natural way. In order to experimentally explore this computational power, it is necessary to develop software that provides simulation tools (simulators) for the existing variety of SN P systems. Such simulators allow us to carry out computations of solutions to NP-complete problems on certain instances. Within this trend, P-Lingua provides a standard language for the definition of P systems. As part of the same project, pLinguaCore library provides particular implementations of parsers and simulators for the models specified in P-Lingua. In this paper, an extension of the P-Lingua language to define SN P systems is presented, along with an upgrade of pLinguaCore including a parser and a new simulator for the variants of these systems included in the language.

Original languageEnglish (US)
Title of host publicationMembrane Computing - 12th International Conference, CMC 2011, Revised Selected Papers
Number of pages25
StatePublished - 2012
Event12th International Conference on Membrane Computing, CMC 2011 - Fontainebleau, France
Duration: Aug 23 2011Aug 26 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7184 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th International Conference on Membrane Computing, CMC 2011


Dive into the research topics of 'A P-lingua based simulator for spiking neural P systems'. Together they form a unique fingerprint.

Cite this