Implicitly Generated Events:

Whenever a state st is entered/exited as the result of executing a transition, implicitly the corresponding events entered(st)/exited(st) (abbreviated en(st)/ex(st)) are generated. So, the simultaneous entering of state S2 and T2 enables the transition from Q2 to P2 labeled `en(S2) and en(T2)' in the next step.