Add to ORKGFormal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes significant advances in this area by considering P systems with active membranes, in particular P systems with division rules. The paper presents a theoretical framework for addressing this problem and reports on a complex case study involving a well-known NP-complete problem solved using P systems with membrane division rules. This is implemented in Promela and non trivial properties are verified using Spin.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08-TIC-0420
P systems with active membranes is a widely studied framework within the field of Membrane Computin...
In this paper we de¯ne a general class of P systems covering some biological operations with membra...
In this paper we propose a new way to represent recognizer P systems with active membranes based on...
Membrane systems, also known as P systems, constitute an innovative computational paradigm inspired ...
We show that recogniser P systems with active membranes can be augmented with a priority over their...
Two proofs have been shown for P systems with active membranes in previ- ously published papers, de...
5noWe show that recogniser P systems with active membranes can be augmented with a priority over the...
We identify a family of decision problems that are hard for some complexity classes defined in term...
We prove that uniform families of P systems with active membranes operat- ing in polynomial time ca...
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and para...
Abstract. We introduce a new model of membrane computing system (or P system), called signaling P sy...
The P systems are a class of distributed parallel computing devices of a biochemical type. In this ...
In this paper we study membrane dissolution rules in the framework of P systems with active membran...
We study the computational efficiency of recognizer P systems with active membranes without polariz...
We study computational properties of Gheorge Pǎun's P-systems extended with rules that model in an a...
P systems with active membranes is a widely studied framework within the field of Membrane Computin...
In this paper we de¯ne a general class of P systems covering some biological operations with membra...
In this paper we propose a new way to represent recognizer P systems with active membranes based on...
Membrane systems, also known as P systems, constitute an innovative computational paradigm inspired ...
We show that recogniser P systems with active membranes can be augmented with a priority over their...
Two proofs have been shown for P systems with active membranes in previ- ously published papers, de...
5noWe show that recogniser P systems with active membranes can be augmented with a priority over the...
We identify a family of decision problems that are hard for some complexity classes defined in term...
We prove that uniform families of P systems with active membranes operat- ing in polynomial time ca...
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and para...
Abstract. We introduce a new model of membrane computing system (or P system), called signaling P sy...
The P systems are a class of distributed parallel computing devices of a biochemical type. In this ...
In this paper we study membrane dissolution rules in the framework of P systems with active membran...
We study the computational efficiency of recognizer P systems with active membranes without polariz...
We study computational properties of Gheorge Pǎun's P-systems extended with rules that model in an a...
P systems with active membranes is a widely studied framework within the field of Membrane Computin...
In this paper we de¯ne a general class of P systems covering some biological operations with membra...
In this paper we propose a new way to represent recognizer P systems with active membranes based on...