Bobbio, A.

• Bernardi, Simona; Bobbio, Andrea; Donatelli, Susanna:
  Petri Nets and Dependability. 2004.

• 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.

• Bobbio, Andrea; Horvath, Andras:
  Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. 2002.

• Bobbio, Andrea; Ciancamerla, Ester; Franceschinis, Giuliana; Gaeta, Rossano; Minichino, Michele; Portinale, Luigi:
  Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. 2002.

• 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.

• Gaeta, R.; Bobbio, A.; Franceschinis, G.; Portinale, L.:
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net. 2001.

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

• Bobbio, Andrea; Franceschinis, Giuliana; Gaeta, Rossano; Portinale, Luigi:
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. 2001.

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

• Bobbio, Andrea; Franceschinis, Giuliana; Gaeta, Rossano; Portinale, Luigi:
  Exploiting Petri nets to support fault tree based dependability analysis. 1999.

• 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.

• Ajmone Marsan, M.; Bobbio, A.; Donatelli, S.:
  Petri Nets in Performance Analysis: An Introduction. 1998.

• Bobbio, A.; Telek, M.:
  Non-exponential stochastic Petri nets: an overview of methods and techniques. 1998.

• Scarpa, M.; Bobbio, A.:
  Kronecker representation of stochastic Petri nets with discrete PH distributions. 1998.

• Bobbio, Andrea; Puliafito, Antonio; Telek, Miklos:
  New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets. 1997.

• Telek, M.; Bobbio, A.; Puliafito, A.:
  Steady state solution of MRSPN with mixed preemption policies. 1996.

• Bobbio, Andrea; Kulkarni, Vidyadhar G.; Puliafito, Antonio; Telek, Miklós; Trivedi, Kishor S.:
  Preemptive Repeat Indentical Transitions in Markow Regenerative Stochastic Petri Nets. 1995.

• Telek, M.; Bobbio, A.:
  Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. 1995.

• Telek, M.; Bobbio, A.; Jereb, L.; Puliafito, A.; Trivedi, K.S.:
  Steady state analysis of Markov regenerative SPN with age memory policy. 1995.

• Trivedi, Kishor S.; Bobbio, Andrea; Ciardo, Gianfranco; German, Reinhard; Puliafito, Antonio; Telek, Miklos:
  Non-Markovian Petri Nets. 1995.

• Bobbio, A.:
  System Modelling with Petri Nets. 1990.

• Ajmone Marsan, Marco; Balbo, Gianfranco; Bobbio, Andrea; Chiola, Giovanni; Conte, Gianni; Cumani, Aldo:
  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. 1989.

• Bobbio, A.:
  Petri Nets Generating Markov Reward Models for Performance/Reliability Analysis of Degradable Systems. 1989.

• Legato, P.; Bobbio, A.; Roberti, L.:
  The Effect of Failures and Repairs on Multiple Cell Production Lines. 1989.

• Bobbio, A.; Savant Aira, G.:
  Modelling Automated Production Systems by Deterministic Petri Nets. 1987.

• Bobbio, A.; Savant Aira, G.:
  Modelling of Automatic Manufacturing Systems Using Deterministic Petri Nets. 1987.

• Dugan, J.B.; Bobbio, A.; Ciardo, G.; Trivedi, K.S.:
  The Design of a Unified Package for the Solution of Stochastic Petri Net Models. 1985.

• Bobbio, A.; Cumani, A.:
  Discrete State Stochastic Systems with Phase-type Distributed Transition Times. 1984.

• Bobbio, A.; Cumani, A.; Bello, R.:
  Reduced Markovian Representation of Stochastic Petri Net Models. 1984.

• Trivedi, K.S.; Ciardo, G.; Bobbio, A.; Dugan, J.B.:
  Design of a Unified Package for the Solution of Stochastic Petri Net Models. 1984.

• Bobbio, A.:
  A Petri Net Approach to the Reliability and Performability Analysis of Complex Systems. 1983.

Back to the Petri Nets Bibliography