<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Luis F. Macías-Ramos</style></author><author><style face="normal" font="default" size="100%">Ignacio Pérez-Hurtado</style></author><author><style face="normal" font="default" size="100%">Manuel García-Quismondo</style></author><author><style face="normal" font="default" size="100%">Luis Valencia-Cabrera</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Agustín Riscos-Núñez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A P-Lingua based Simulator for Spiking Neural P Systems</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 12th International Conference on Membrane Computing (CMC12)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/2011</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://cmc12.lacl.fr/cmc12proceedings.pdf</style></url></web-urls></urls><pub-location><style face="normal" font="default" size="100%">Fontainebleau, France</style></pub-location><pages><style face="normal" font="default" size="100%">323-346</style></pages><abstract><style face="normal" font="default" size="100%">The research within the field of Spiking Neural P systems
(SN P systems, for short) is focusing mainly in the study of the
computational complexity and efficiency of this kind of systems.
These devices have been shown capable of providing polynomial time
solutions to computationally hard problems. 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 computationally hard 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.</style></abstract></record></records></xml>