MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences
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.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08–TIC–0420