Portinale, L.

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

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

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

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

• Portinale, Luigi:
  Modeling and Solving Constraint Satisfaction Problems through Petri Nets. 1997.

• Anglano, Cosimo; Portinale, Luigi:
  B-W Analysis: a Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. 1994.

• Portinale, L.:
  Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model. 1993.

• Console, L.; Portinale, L.:
  Model-Based Diagnosis of System Malfunction with Petri Nets. 1992.

• Portinale, L.:
  Verification of Causal Models using Petri Nets. 1992.

Back to the Petri Nets Bibliography