th
  mandate that each event is dispatched to all orthogonal regions of a state
  machine. Example:</p>

  <p><img alt="EventDispatch" src="EventDispatch.gif" border="0" width="436"
  height="211"></p>

  <p>Here the Harel/UML dispatch algorithm specifies that the machine must
  transition from (B,D) to (C,E) when an EvX event is processed. Because of
  the subtleties that Harel describes in chapter 7 of <a href=
  "http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Statecharts.pdf">his
  paper</a>, an