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 properties.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call