Publication [JungesKS018] One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs Junges, S.; Katoen, J.-P.; Stoelinga, M. and Volk, M. In Petri Nets, pages 272-293, Springer, Lecture Notes in Computer Science 10877, 2018.Downloads: bib
