We consider a process algebra for modelling and the analysis of biochemical network, called Bio-PEPA. It is based on PEPA, a process algebra originally defined for the performance analysis of computer systems, and extended in order to handle some features of biochemical networks, such as stoichiometry and different kinds of kinetic laws. In Bio-PEPA we can make different kinds of analysis, static and dynamic. In this thesis we focus on the dynamic analysis of trophic networks. A trophic network represents an ecological community of organisms and their feeding relations. We will first consider a toy case of trophic network described in a Bio-PEPA model, and then we apply the same ideas to a real case of trophic network, namely the Venice Lagoon.
Dynamic modelling trophic networks with BioPEPA
Aliye, Kuerban
2016/2017
Abstract
We consider a process algebra for modelling and the analysis of biochemical network, called Bio-PEPA. It is based on PEPA, a process algebra originally defined for the performance analysis of computer systems, and extended in order to handle some features of biochemical networks, such as stoichiometry and different kinds of kinetic laws. In Bio-PEPA we can make different kinds of analysis, static and dynamic. In this thesis we focus on the dynamic analysis of trophic networks. A trophic network represents an ecological community of organisms and their feeding relations. We will first consider a toy case of trophic network described in a Bio-PEPA model, and then we apply the same ideas to a real case of trophic network, namely the Venice Lagoon.File | Dimensione | Formato | |
---|---|---|---|
849901-1193613.pdf
accesso aperto
Tipologia:
Altro materiale allegato
Dimensione
3.29 MB
Formato
Adobe PDF
|
3.29 MB | Adobe PDF | Visualizza/Apri |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/20.500.14247/20249