Dieser Waschautomat besteht aus zwei parallelen Zuständen.
Beide parallelen Zustände werden durch die gestrichelte Linie
getrennt. Zum einen kann ein kurzer und ein langer Waschgang
ausgewählt werden. Für jeden dieser Zustände kann
entweder die Tür offen sein oder der Automat waschen. Dieser
Automat enthält usätzlich einen Historyknoten für den
"Waschen"-Zustand. Wenn die Tür geschlossen wurde, ist
de Automat in genau dem Unterzustand, aus dem er in den Zustand
für eien offenen Tür übergegangen ist.