Sign in

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.

Andrea BobbioGiuliana FranceschinisRossano GaetaLuigi Portinale
Published in: IEEE Trans. Software Eng. (2003)
Keyphrases
  • petri net
  • high level
  • discrete event systems
  • fault tree
  • neural network
  • qualitative analysis
  • reliability analysis
  • colored petri nets
  • manufacturing systems
  • real time
  • image analysis
  • complex systems
  • mathematical model