‘Extras’ ‘Add label to parallel branch’

In order to provide a newly inserted parallel branch with a jump label, the transition occurring before the parallel branching must be marked and the command ‘Add label to parallel branch’ must be executed. At that point, the parallel branch will be given a standard name consisting of “Parallel” and an appended serial number, which can be edited according to the rules for identifier names. In the following example, “Parallel” was replaced by “Par_1_2” and the jump to the transition “End” was steered to this jump label.