The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

Daniele Codetta Raiteri. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation. Electronic Notes in Theoretical Computer Science, 127(2):45-60, 2005. [doi]

Abstract

Abstract is missing.