Il sistema di transizione interlacciato per 2 sistemi di transizione indipendenti e simultanei

Question

Questa domanda riguarda Controllo del modello per Verifica formale del software
Come si modella il comportamento articolare di 2 indipendente e concorrente sistemi di transizione?

In particolare, dati i due sistemi di transizione indipendenti e simultanei di seguito; TS1 e TS2 (da sinistra a destra).

Un tutor ha proposto che il sistema di transizione intrecciato risultante SUO è

Capisco come tutti gli stati e le transizioni mostrati di questo SUO sono stati ottenuti, tuttavia, perché non c'è transizione dallo stato (l1,q1) a (l3,q2)-come ci si aspetterebbe se entrambi TS1 e TS2 passata all'azione a?