Anleitung zur Lösung
Falls der parallele Prozess durch s1 nicht mit dem Pfad aus der Transition t3 synchronisiert wird, so entsteht direkt ein Dead-Lock. Eine mögliche Problemlösung ist: