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.
2016-03-09
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14247/20249