In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 13-18. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: This work integrates fault trees and generalized stochastic Petri nets to analyse complex technical systems. A fault tree model is transformed into a GSPN and then analysed with special state space reduction techniques.