Ponencia
Using A Kernel P System to Solve The 3-Col Problem
Autor/es | Ipate, Florentin
Dragomir, Ciprian Lefticaru, Raluca Mierla, Laurentiu Pérez Jiménez, Mario de Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2012 |
Fecha de depósito | 2018-10-22 |
Publicado en |
|
Resumen | The newly introduced Kernel P systems offer an unitary and
elegant way of integrating established features of existing P system variants
with new elements with potential value for formal modelling. This
paper presents ... The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P system variants with new elements with potential value for formal modelling. This paper presents a case study illustrating the expressive power and efficiency of kernel P systems on the 3-Col problem. The use of model checking (in particular of Spin) for formal verification of kernel P systems is also discussed and illustrated in this case. |
Agencias financiadoras | Ministerio de Ciencia e Innovación (MICIN). España Junta de Andalucía |
Identificador del proyecto | TIN2009–13192
P08–TIC–04200 |
Cita | Ipate, F., Dragomir, C., Lefticaru, R., Mierla, L. y Pérez Jiménez, M.d.J. (2012). Using A Kernel P System to Solve The 3-Col Problem. En CMC13: 13th International Conference on Membrane Computing, (243-258), Budapest, Hungary: MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
using-kernel.pdf | 635.7Kb | [PDF] | Ver/ | |