Représenter un état possible pour le système. Faire glisser sur la page, puis taper des caractères après le / pour spécifier ...

Représenter un état possible pour le système. Faire glisser sur la page, puis taper des caractères après le / pour spécifier les actions qui doivent se produire lorsque le système passe dans cet état, lorsque le système est dans cet état et lorsque le système quitte cet état.