Giuliana Franceschinis

Learn More
Book description (from the cover): This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields. The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems suggested(More)
Quality of service (QoS) in delivery of continuous media (CM) over the Internet is still relatively poor and inconsistent. Although many such applications can tolerate some degree of missing information, significant losses degrade an application's QoS. In this paper, we investigate the potential benefits of mitigating this problem through the exploitation(More)
Coloured Petri nets are well suited to the modelling of symmetric systems. Model symmetries can be usefully exploited for the sake of analysis eeciency as well as for modelling convenience. We present a reduced reachability graph called symbolic reachability graph that enjoys the following properties: 1) it can be constructed directly by an eecient(More)
—In order to cope efficiently with the dependability analysis of redundant systems with replicated units, a new, more compact fault-tree formalism, called Parametric Fault Tree (PFT), is defined. In a PFT formalism, replicated units are folded and indexed so that only one representative of the similar replicas is included in the model. From the PFT, a list(More)