Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel EisenbahnsicherungTrack