Next: Implicitly Generated Events:
Up: Updated syntax
Assume that the environment provides D
directly after entering state Q2. Then, both transitions from S1 to S2
and from T1 to T2 are taken simultaneously, resulting in S2 and
T2 being active. In case the environment had not provided event D,
only the transition from S1 to S2 would have been performed.
Tue Nov 24 13:50:54 MET 1998