Sign in

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.

Sebastian JungesJoost-Pieter KatoenMariëlle StoelingaMatthias Volk
Published in: Petri Nets (2018)
Keyphrases
  • dynamic environments
  • formal semantics
  • operational semantics
  • tree structure
  • genetic algorithm
  • fault diagnosis
  • fault detection and isolation