Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel EisenbahnsicherungAvvisami