Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel EisenbahnsicherungNotifícame