Untitled - rfc1149.net ? Here be pigeons

The state S1 is thus (q1 = 1,s1 = 0). In this state, both transitions ta and tb are enabled. A new delay is thus calculated for the transition ta, e.g. 4 ...