Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel EisenbahnsicherungPrévenez-moi