L'état initial d'un diagramme est défini par une flèche avec un point (défault transition).

Exemple :