text: Das Vier-Jahreszeiten-Netz aus Abbildung 0a hat aufgrund seiner sehr simplen Struktur einen sehr einfachen Erreichbarkeitsgraphen, der ebenso wie vier Zustände hat und vier Übergänge, die genau den Transitionen entsprechen.