Affiliations: [a] Dipartimento di Matematica, Università di Padova, Italy. [email protected] | [b] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. [email protected] | [c] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. [email protected] | [d] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. [email protected] | [e] Computer Science Institute, Brandenburg University of Technology, Cottbus, Germany. [email protected] | [f] Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, Italy. [email protected]
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.
