A positive integer or the value 'unlimited' specifying the maximal count of a SynchState. The count is the difference between the number of times the incoming and outgoing transitions of the synch state are fired.