Le système de transition entrelacé pour 2 systèmes de transition indépendants et simultanés

Question

Cette question concerne Vérification du modèle pour Vérification formelle du logiciel
Comment modélisez-vous le comportement conjoint de 2 indépendant et concurrent Systèmes de transition?

Plus précisément, compte tenu des deux systèmes de transition indépendants et simultanés ci-dessous; TS1 et Ts2 (de gauche à droite).

Un tuteur a proposé que le système de transition entrelacé résultant SON est

Je comprends comment tous les états et transitions montrés SON ont été obtenus, cependant, pourquoi n'y a-t-il pas de transition de l'état (l1,q1) à (l3,q2)- comme on pourrait s'y attendre si les deux TS1 et Ts2 en transition sur l'action a?