PseudoState - WFR6 - Ein Zweig-Scheitelpunkt muss ein eingehendes und mindestens zwei ausgehende Übergangssegmente mit Wächtern ...