Minimal probabilistic P systems for modelling ecological systems

作者：Barbuti Roberto; Bove Pasquale; Milazzo Paolo^*; Pardini Giovanni

来源：Theoretical Computer Science, 2015, 608: 36-56.

DOI：10.1016/j.tcs.2015.07.035

• P systems
• Statistical model checking
• Stochastic simulation
• Ecosystems modelling

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.

• 出版日期2015-12-10