Unifying DFT Semantics Sample Clauses

Unifying DFT Semantics. ‌ The interpretation of DFTs is subject to various subtleties, as surveyed in [4]. Varying interpretations have given rise to various DFT semantics in the lit- erature. The key aspects are summarised in Table 1. In the following, we focus on three key aspects—failure propagation, FDEP forwarding, and non- determinism—and show that these suffice to differentiate all five DFT semantics, see Fig. 11. Note that we consider the interleaving semantics of nets. Monolithic MA [13] Monolithic CTMC [11] IOIMC, Orig. GSPN Monolithic CTMC, Monolithic MA, New GSPN IOIMC, Orig. GSPN All semantics Failure propagation? Arbitrary Bottom-up FDEP forwarding? Interleaved with gates Non-determinism? FDEP forwarding? Before gates Monolithic CTMC, New GSPN Non-determinism? After gates Monolithic MA Non-determinism? Orig. GSPN [7] Yes No New GSPN