Gribaudo, M.

• Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.:
  A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. 2004.

• Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria:
  Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. 2004.

• Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.:
  FSPNs for Computing Transfer Time Distributions in P2P File Sharing. 2004.

• Gribaudo, M.; Sereno, M.:
  An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. 2004.

• German, R.; Gribaudo, M.; Horváth, G.; Telek, M.:
  Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. 2003.

• Gribaudo, M.; Horváth, A.; Bobbio, Andrea; Tronci, E.; Ciancamerla, E.; Minichino, M.:
  Fluid Petri Nets and hybrid model-checking: a comparative case study. 2003.

• Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.:
  On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers. 2003.

• Gribaudo, Marco; Horváth, A.; Bobbio, A.; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele:
  Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. 2002.

• Franceschinis, F.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, V.:
  Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach. 2002.

• Gribaudo, M.; Bobbio, A.; Sereno, M.:
  Modeling Physical Quantities in Industrial Systems using Fluid Stochastic Petri Nets. 2001.

• Gribaudo, M.; Horvath, A.:
  Fluid Stochastic Petri Nets Augmented with Flush-out Arcs. A Transient Analysis Technique. 2001.

• Marsan, M.A.; Gribaudo, M.; Meo, M.; Sereno, M.:
  On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. 2001.

• Marsan, Marco Ajmone; Gribaudo, Marco; Meo, Michela; Sereno, Matteo:
  Performance Analysis of Data Services over GPRS. 2001.

• Gribaudo, M.; Sereno, M.; Horvath, A.; Bobbio, A.:
  Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. 2001.

• Gribaudo, M.; Sereno, M.:
  Simulation of fluid stochastic Petri nets. 2000.

• Gribaudo, M.; Sereno, M.:
  Approximation Technique of Finite Capacity Queuing Networks Exploiting Petri Net Analysis. 2000.

• Valente, A.; Gribaudo, M.:
  Two Levels Interchange Format in XML for Petri Nets and Other Graph-based Formalisms. 2000.

• Bobbio, A.; Garg, S.; Gribaudo, M.; Sereno, M.; Horvath, A.; Telek, M.:
  Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. 1999.

• Gribaudo, M.; Sereno, M.; Bobbio, A.:
  Fluid stochastic Petri nets: an extended formalism to include non-Markovian models. 1999.

• Gribaudo, Marco; Sereno, Matteo:
  On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. 1998.

• Gribaudo, Marco; Sereno, Matteo:
  GSPN Semantics for Queuing Networks with Blocking. 1997.

• Codetta-Raiteri, D.; Franceschinis, G.; Gribaudo, M.:
  Defining formalisms and models in the Draw-Net Modeling System. 06.

Back to the Petri Nets Bibliography