Repositorio de producción científica de la Universidad de Sevilla

Using A Kernel P System to Solve The 3-Col Problem

 

Advanced Search
 
Opened Access Using A Kernel P System to Solve The 3-Col Problem
Cites
Show item statistics
Icon
Export to
Author: 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
Date: 2012
Published in: CMC13: 13th International Conference on Membrane Computing, (2012), p 243-258
Document type: Presentation
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 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.
Cite: 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.
Size: 635.7Kb
Format: PDF

URI: https://hdl.handle.net/11441/79574

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)