next up previous
Next: Implicitly Generated Events: Up: Updated 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
Tue Nov 24 13:50:54 MET 1998