@article {956, title = {Kernel P Systems: Applications and Implementations}, journal = {Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013}, volume = {212}, year = {2013}, month = {07/2013}, pages = {1081-1089}, publisher = {Springer Berlin Heidelberg}, address = {Amsterdam, the Netherlands}, 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.}, keywords = {Formal Verification, kernel P systems, Membrane computing, Subset sum problem}, isbn = {978-3-642-37501-9}, doi = {10.1007/978-3-642-37502-6_126}, url = {http://link.springer.com/chapter/10.1007\%2F978-3-642-37502-6_126}, author = {Florentin Ipate and Raluca Lefticaru and Laurentiu Mierla and Luis Valencia-Cabrera and Huang Han and Gexiang Zhang and Ciprian Dragomir and Mario J. P{\'e}rez-Jim{\'e}nez}, editor = {Zhixiang Yin and Linqiang Pan and Xianwen Fang} }