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 study properties of such kind of systems. As a case study we consider the ecological problem of stability of European water frog populations. The paper shows that MPP systems allow easy and concise modelling of real ecological problems. Moreover, MPP systems models can be easily simulated and translated into the PRISM input language to enable statistical model checking of properties
Minimal probabilistic P systems for modelling ecological systems
BARBUTI, ROBERTO;BOVE, PASQUALE;MILAZZO, PAOLO;PARDINI, GIOVANNI
2015-01-01
Abstract
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 study properties of such kind of systems. As a case study we consider the ecological problem of stability of European water frog populations. The paper shows that MPP systems allow easy and concise modelling of real ecological problems. Moreover, MPP systems models can be easily simulated and translated into the PRISM input language to enable statistical model checking of propertiesFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
