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 …

As with any fast-emerging research front in computer science, the proliferation of theoretical
and practical results within Membrane computing since its appearance in 1998 was …

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 …

Tissue P systems constitute a well-known class of computing models within membrane
computing. Inspired by the information exchange among cells and with the environment …

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 …

This paper proposes a formal methodology to analyse bio-systems, in particular synthetic
biology systems. An integrative analysis perspective combining different model checking …

Membrane Computing provides machine-oriented models of computation, with types and
variants including different elements inspired from living cells. Proven computationally …

In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the
development of simulation tools since the beginning of Membrane Computing. However …

A probabilistic approach to P systems, called population dynamics P systems (PDP systems,
for short) is introduced for studying the dynamics of (real) ecological populations. An …

Model checking has been extensively used to verify various systems. However, this usually
has been done by experts who have a good understanding of model checking and who are …