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.