Repositorio de producción científica de la Universidad de Sevilla

Kernel P Systems: Applications and Implementations

 

Advanced Search
 
Opened Access Kernel P Systems: Applications and Implementations
Cites

Show item statistics
Icon
Export to
Author: Ipate, Florentin
Lefticaru, Raluca
Mierla, Laurentiu
Valencia Cabrera, Luis
Han, Huang
Zhang, Gexiang
Dragomir, Ciprian
Pérez Jiménez, Mario de Jesús
Gheorghe, Marian
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2013
Published in: BIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications (2013), p 1081-1089
ISBN/ISSN: 978-3-642-37501-9
2194-5357
Document type: Presentation
Abstract: This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented.
Cite: Ipate, F., Lefticaru, R., Mierla, L., Valencia Cabrera, L., Han, H., Zhang, G.,...,Gheorghe, M. (2013). Kernel P Systems: Applications and Implementations. En BIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications (1081-1089), Anhui University of Science and Technology, China: Springer.
Size: 1.701Mb
Format: PDF

URI: https://hdl.handle.net/11441/79755

DOI: 10.1007/978-3-642-37502-6_126

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)