Das Fach Verifikation verteilter Systeme (Petrinetze) wird nach dem Login zu deinen Fächern hinzugefügt.