TABLEAU CORRIGÉ DE L'EXERCICE 2 (Q. 2)
| État de départ | Événement | Action(s) | État d'arrivée |
|---|---|---|---|
| ... | E1 | act1, A_ent, B_ent | B (dans A) |
| B | E5 | B_sor, C_ent | C |
| C | E4 | A_interne | ( C ) |
| C | E6 | C_sor, B_ent | B |
| B | E3 | B_sor, A_sor, act3, A_ent, B_ent | B |
| B | E5 | B_sor, C_ent | C |
| C | E3 | C_sor, A_sor, act3, A_ent, C_ent | C |
| C | E2 | C_sor, A_sor, act2 | ... |