P colonies and kernel P systems

被引:0
作者
Erzsébet Csuhaj-Varjú
Marian Gheorghe
Raluca Lefticaru
机构
[1] ELTE Eötvös Loránd University,Department of Algorithms and Their Applications, Faculty of Informatics
[2] University of Bradford,School of Electrical Engineering and Computer Science
关键词
P systems; P colonies; Kernel P systems; Formal verification; Model checking;
D O I
10.1007/s12572-018-0224-y
中图分类号
学科分类号
摘要
P colonies, tissue-like P systems with very simple components, have received constant attention from the membrane computing community and in the last years several new variants of the model have been considered. Another P system model, namely kernel P system, integrating the most successfully used features of membrane systems, has recently attracted interest and some important developments have been reported. In this paper we study connections among several classes of P colonies and kernel P systems, by showing how the behaviour of these P colony systems can be represented as kernel P systems. An example illustrates the way it is modelled by using P colonies and kernel P systems and some properties of it are formally proved in the latter approach.
引用
收藏
页码:181 / 192
页数:11
相关论文
共 35 条
[1]  
Păun G(2000)Computing with membranes J. Comput. Syst. Sci. 61 108-143
[2]  
Mutyam M(2002)Generalized normal form for rewriting P systems Acta Inf. 38 721-734
[3]  
Krithivasan K(2004)Rewriting tissue P systems J. Univers. Comput. Sci. 10 1250-1271
[4]  
Mutyam M(2014)On controlled P systems Fundam. Inf. 131 451-464
[5]  
Prakash VJ(2006)Computing with cells in environment: P colonies J. Multiple Valued Log. Soft Comput. 12 201-215
[6]  
Krithivasan K(2016)P colonies Bull. Int. Membr. Comput. Soc. 2 129-156
[7]  
Krithivasan K(2009)Variants of P colonies with very simple cell structure Int. J. Comput. Commun. Control 4 224-233
[8]  
Păun G(2013)3-Col problem modelling using simple kernel P systems Int. J. Comput. Math. 90 816-830
[9]  
Ramanujan A(2017)Further results on generalised communicating P systems Theoret. Comput. Sci. 701 146-160
[10]  
Csuhaj-Varjú E(undefined)undefined undefined undefined undefined-undefined