Presentation
Using A Kernel P System to Solve The 3-Col Problem
Author/s | Ipate, Florentin
Dragomir, Ciprian Lefticaru, Raluca Mierla, Laurentiu Pérez Jiménez, Mario de Jesús |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2012 |
Deposit Date | 2018-10-22 |
Published in |
|
Abstract | 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. |
Funding agencies | Ministerio de Ciencia e Innovación (MICIN). España Junta de Andalucía |
Project ID. | TIN2009–13192
P08–TIC–04200 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
using-kernel.pdf | 635.7Kb | [PDF] | View/ | |