Anleitung zur Lösung
Um dieses Problem zu lösen, müssen die search for stability Optionen der Ablaufsprache bekannt und verstanden sein. Wenn 'search for stability' gewähltl wurde, dann schaltet der Ablaufautomat bis eine stabile Markierung erreicht wurde. Aktionen werden erst ausgeführt, wenn eine stabile Markierung erreicht wurde. Die Aktionen der durchgeschalteten Markierung werden also nicht ausgeführt. Demzufolge gilt: wenn die 'Go on3'-Transition beim Schalten von 'Go on2' war ist, so wird die Aktion des dazwischen liegenden Schritts nicht durchgeführt.