Affiliations: [a] Dipartimento di Matematica, Università di Padova, Italy. baldan@math.unipd.it | [b] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. martina.bocci.1@gmail.com | [c] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. brigo@unive.it | [d] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. cocco@unive.it | [e] Computer Science Institute, Brandenburg University of Technology, Cottbus, Germany. monika.heiner@b-tu.de | [f] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. simeoni@unive.it
Correspondence:
[*]
Address for correspondence: Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, via Torino, 155, 30172 Mestre-Venezia, Italy
Abstract: We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. Starting from the observation that trophic networks can be naturally modelled as Petri nets, we explore the possibility of using Petri nets for the analysis and simulation of trophic networks. We define and discuss different continuous Petri net models, whose level of accuracy depends on the information available for the modelled trophic network. The simplest Petri net model we construct just relies on the topology of the network. We also propose a technique for deriving a more refined model that embeds into the Petri net the known constraints on the transition rates that represent the knowledge on metabolism and diet of the species in the network. Finally, if the information of the biomass amounts for each species at steady state is available, we discuss a way of further refining the Petri net model in order to represent dynamic behaviour. We apply our Petri net technology to a case study of the Venice lagoon and analyse the results.
