Un entier positif ou la valeur 'unlimited' qui spécifie le compteur d'un état de type synchronisation. Ce compteur représente la différence entre le nombre de fois où les transitions entrantes et sortantes de l'état de synchronisation sont déclenchées.