Membrane computing is a vibrant and fast-growing research area of natural computation
which covers the study of computing models, called membrane systems or P systems …

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 …

Recent research in membrane computing examines and confirms the anticipated modelling
potential of kernel P systems in several case studies. On the one hand, this computational …

P systems are the computational models introduced in the context of membrane computing,
a computational paradigm within the more general area of unconventional computing …

This paper explores the modelling capacities of a new class of P systems, called kernel P
systems (kP systems). A specific language for describing kP systems and its translation into …

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 …

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 …

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 …