The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Structural and behavioural properties of models are very important in development of
complex systems and applications. In this paper, we investigate such properties for some …

Motivated by the need to parameterize and functionalize dynamic, multiscale simulations, as
well as bridge the gap between advancing in silico and laboratory Synthetic Biology …

Membrane computing is a new natural computing paradigm inspired by the functioning and
structure of biological cells, and has been successfully applied to many different areas, from …

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

P systems are the computational models of membrane computing, a computing paradigm
within natural computing area inspired by the structure and behaviour of the living cell. In …

Kernel P systems integrate in a coherent and elegant manner many of the features of
different P system variants, successfully used for modelling various applications. In this …

Computational models are perceived as an attractive alternative to mathematical models
(eg, ordinary differential equations). These models incorporate a set of methods for …

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

The paper presents the use of a membrane computing model for specifying a synthetic
biology pulse generator example and discusses some simulation results produced by the …