---

In this work, in order to model and analyse a simplified trophic network of the Venice Lagoon, I worked with the process algebra Bio-PEPA. This work shows that Bio-PEPA naturally permits the modelling of trophic networks and the analysis of their continuous dynamics. Different simulation and analysis techniques can be combined: discrete stochastic and continuous deterministic models can be automatically generated from a Bio-PEPA model. Specifically, it is possible to observe the dynamics of the populations of the species in a trophic network, understand the relationship among these species and predict the consequences of the perturbations of the ecosystem.

---

Kuerban, Aliye
Aliye Kuerban, born in China Xinjiang (Urumqi). Obtained the master degree in computer science in 2016 at the University of Ca Foscari.

---