Formalbasierte Sicherheitsanalyse im Eisenbahnwesen: Potenziale von Petrinetzen für Beschreibung und Analyse sicherheitskritischer Prozesse und deren Steuerungen