Your search for: 'author:("Cocco, Nicoletta")' has returned 2 results. (0.004s) Save search

Authors: Bossi, Annalisa | Cocco, Nicoletta

Article Type: Research Article

Abstract: In this paper, we briefly describe our experience in the field of analysis and transformation of logic programs. Although now we work in completely different fields, verification of security properties on the one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.

Keywords: Logic programming, termination verification, program transformation

DOI: 10.3233/IA-2011-0010

Citation: Intelligenza Artificiale, vol. 5, no. 1, pp. 95-99, 2011

Authors: Baldan, Paolo | Bocci, Martina | Brigolin, Daniele | Cocco, Nicoletta | Heiner, Monika | Simeoni, Marta

Article Type: Research Article

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. Show more

DOI: 10.3233/FI-2018-1673

Citation: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 27-52, 2018