while the Step11 step [...] ( Step2 [...] in online mode: If t2
: If the preceding transition ( t2 [...] are active ( Step11