论文信息 - Kernel P Systems: Applications and Implementations

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.

[1] Marian Gheorghe,et al. 3-Col problem modelling using simple kernel P systems , 2013, Int. J. Comput. Math..

[2] Giancarlo Mauri,et al. Uniform solutions to SAT and Subset Sum by spiking neural P systems , 2008, Natural Computing.

[3] Florent Jacquemard,et al. An Analysis of a Public Key Protocol with Membranes , 2005 .

[4] Florentin Ipate,et al. Formal Verification of P Systems Using Spin , 2011, Int. J. Found. Comput. Sci..

[5] Gheorghe Paun,et al. Applications of Membrane Computing (Natural Computing Series) , 2005 .

[6] Florentin Ipate,et al. A Kernel P System , 2012 .

[7] Gheorghe Paun,et al. The Oxford Handbook of Membrane Computing , 2010 .

[8] Florentin Ipate,et al. Formal Verification of P Systems with Active Membranes through Model Checking , 2011, Int. Conf. on Membrane Computing.

[9] Gheorghe Paun,et al. Computing with Membranes , 2000, J. Comput. Syst. Sci..

[10] Gheorghe Paun,et al. Membrane Computing , 2002, Natural Computing Series.

[11] Mordechai Ben-Ari,et al. Principles of the spin model checker , 2008 .

[12] Mario J. Pérez-Jiménez,et al. Solving the Subset-Sum problem by P systems with active membranes , 2009, New Generation Computing.

[13] Agustín Riscos Núñez,et al. Solving the Subset-Sum problem by P systems with active membranes , 2005 .

[14] Mario de Jesús Pérez Jiménez,et al. Using A Kernel P System to Solve The 3-Col Problem , 2012 .