this only works if C, D, E or any of their direct or indirect
  inner states do not have orthogonal regions. If not so then this pattern
  has to be applied recursively.</p>

  <h4>Synchronization (join and fork) bars</h4>

  <p><img alt="JoinAndFork" src="JoinAndFork.gif" border="0" width="541"
  height="301"></p>

  <p>Synchronization bars are not supported, that is, a transition always
  originates at exactly one state and always ends at exactly one state. Join
  bars are sometimes useful but their behav