Anleitung zur Lösung

 

Die Transition t5 führt zu einem Rücksprung zum Init-Schritt, der vor dem Start der parallelen Prozesse sich befindet. Dies führt zu einer Produktion von Markierungen und darum zu einem unsicheren Ablauf. Der Fehler kann korrigiert werden, indem der Rücksprung nach dem Start der parallelen Aktionen erfolgt, d.h. zu Schritt s2. Dies ist in der folgenden Figur dargestellt: