Collection of examples for DFT to GSPN translation

For each Dynamic Fault Tree (DFT) a corresponding Generalized Stochastic Petri Net (GSPN) is given.

Examples

• benchmarks contains examples from common DFT benchmarks.
• paper_examples contains examples depicting semantic issues.
• templates contains the GSPN templates for each DFT gate type.

Contact

• Sebastian Junges sebastian.junges@cs.rwth-aachen.de
• Matthias Volk matthias.volk@cs.rwth-aachen.de