Kernel P Systems: Applications and Implementations
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.
KeywordsMembrane computing Kernel P systems Subset sum problem Formal verification
The work of FI, MG, LM and RL was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0688. LVC and MPJ acknowledge the support of the project TIN2009-13192 of the Ministerio de Ciencia e Innovación of Spain, co-financed by FEDER funds, and the support of the Project of Excellence with Investigador de Reconocida Valía of the Junta de Andalucía, grant P08-TIC-04200. GZ acknowledges the support by the National Natural Science Foundation of China (61170016), the Program for New Century Excellent Talents in University (NCET-11-0715) and SWJTU supported project (SWJTU12CX008).
- 5.Gheorghe M, Ipate F, Dragomir C (2012) A kernel P system. In: Proceedings of 10th brainstorming week on membrane computing. Fénix Editora, Seville, Spain, pp 153–170Google Scholar
- 7.Ipate F, Dragomir, C, Lefticaru R, Mierlă L, Pérez-Jiménez MJ (2012) Using a kernel P system to solve the 3-col problem. In: Proceedings of the 13th international conference on membrane computing. Computer and Automation Research Institute, Hungarian Academy of Sciences, pp 243–258Google Scholar
- 12.Ipate F, Lefticaru R, Pérez-Hurtado I, Pérez-Jiménez MJ, Tudose C (2012) Formal verification of P systems with active membranes through model checking. In: Gheorghe M, Păun G, Rozenberg G, Salomaa A, Verlan S (eds) Proceeding of the international conference on membrane computing 2011. Lecture Notes in Computer Science, vol 7184. Springer pp 215–225Google Scholar