Membrane Computing was introduced in 2000 [1], as a research topic in Natural Computing.
It soon became a very active research area and just three years after the publication of this …

This paper presents the newly introduced class of (simple) kernel P systems ((s) kP systems)
and investigates through a 3-colouring problem case study the expressive power and …

As a recently proposed membrane computing model, cP systems are capable of solving
computational hard and distributed problems. Although several membrane system variants …

Search-based testing is widely used for generating test sets. It is also applied in the case of
model-based testing, especially for (extended) finite state machines. In this paper, we define …

Kernel P systems have been introduced as a unifying formalism allowing to specify, simulate
and analyse various problems. Several applications of this model have been considered …

This paper presents an approach to P system verification using the Spin model checker. It
proposes a P system implementation in PROMELA, the modeling language accepted by …

P systems are widely used to solve computationally hard problems. In this study, we formally
verify cP systems (P systems with complex objects) in the Coq proof assistant, and provide a …

This paper presents an integrated approach for model simulation, property extraction and
formal verification of P systems, illustrated on a tissue P system with active membranes …

P systems are non-deterministic, parallel and distributed models of computation inspired by
the behaviour and structure of living cells. Spiking neural P systems synthesise the …

Membrane computing is a recently developed research field, whose models, P systems, are
bio-inspired computational models, abstracted from the structure and the functioning of living …