kernel-P-systems examples

This repository created for storing various kernel P system models (with kpl extension) and there might be their corresponding NuSMV models (which will have the same but with .svm extension).