Chronic wound infections represent a significant burden to healthcare providers globally.
Often, chronic wound healing is impeded by the presence of infection within the wound or …

In this paper we propose MPP systems as modelling notation for ecological systems, and we
show how they can be used together with simulation and statistical model checking tools to …

The paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable to
describe microbiological systems, such as cellular pathways, and their evolution. Systems …

This paper presents Spatial CLS, an extension of the Calculus of Looping Sequences (CLS)
with spatial features. Spatial CLS allows keeping track of the position of biological elements …

We present here a static analysis, based on Abstract Interpretation [8], obtained by defining
an abstract version of the causal semantics for the Mate/Bud/Drip (MBD) version of Brane …

Reaction systems are an abstract model of interactions among biochemical reactions,
developed around two opposite mechanisms: facilitation and inhibition. The evolution of a …

Delays in biological systems may be used to model events for which the underlying
dynamics cannot be precisely observed, or to provide abstraction of some behavior of the …

Petri nets have been widely used to model and analyze biological system. The formalism
comprises different types of paradigms, integrating qualitative and quantitative (ie …

In this paper, we present a formalization of biological systems based on multiset rewriting
and we investigate the use of abstract interpretation on its semantics. We consider a …

We present a simple stochastic rule-based approach to multi-level modelling for
computational systems biology. Populations are modelled using multi-level multisets; these …