 | Gabelung (Fork) |
Dieses Werkzeug erzeugt eine neue Gabelung.
Eine Gabelung repräsentiert die Aufspaltung des
Kontrollflusses in einzelne Transitionsfolgen. Sie zeigt den
Beginn einer Nebenläufigkeit an. Die
Nachfolgezustände einer Gabelung müssen
unterschiedlichen Subzuständen einer AND-Dekomposition
angehören, und ihr vorangegangener Zustand muss
außerhalb dieser AND-Dekomposition liegen.