Published November 2, 2018 | Version v1
Publication Metadata-only

Kernel P Systems: Applications and Implementations

Creators

Contributors

Description

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.

Abstract

Ministerio de Ciencia e Innovación TIN2009–13192

Abstract

Junta de Andalucía P08-TIC-04200

Additional details

Identifiers

URL
https://idus.us.es/handle//11441/79755
URN
urn:oai:idus.us.es:11441/79755

Origin repository

Origin repository
USE