next up previous
Next: Implicitly Generated Events: Up: Syntax Previous: AND-state:

Maximal Parallelism:

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