Next: Implicitly Generated Events:
Up: Syntax
Previous: AND-state:
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.
Erich Mikk
Mon Nov 16 11:33:11 MET 1998