next up previous
Next: Maximal Parallelism: Up: Updated syntax Previous: Duration of Events:


Currently Q1 is active. Assuming that the environment provides event A, state Q2 is entered and event C is generated. Q2 is a so-called AND-state consisting of the two parallel sub-states R1, R2. When entering Q2 both states R1 and R2 are entered simultaneously, so the states S1 and T1 become active. The fact that S1 (resp. T1) becomes active and not S2 (resp. T2) is implied by the fact that the default connector points to S1 (resp. T1). Note that only OR-state s and basic states occupy space whereas AND-state s are given only by their borderline.

Erich Mikk
Tue Nov 24 13:50:54 MET 1998