Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel EisenbahnsicherungPostrážiť