digraph G {
  graph [margin="0" pack="true" rankdir="LR" ranksep="0"];
  0 [color="black" fillcolor="green" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  1 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  2 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  3 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  4 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  5 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  6 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  7 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  8 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  9 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  10 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  11 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  12 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  13 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  14 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  15 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  16 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  17 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  18 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  19 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  20 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  0 -> 1 [arrowsize="0.7" label="MeetingScheduling:start"];
  1 -> 2 [arrowsize="0.7" label="InitiateMeeting:start"];
  2 -> 3 [arrowsize="0.7" label="InitiateMeeting:end"];
  3 -> 4 [arrowsize="0.7" label="AcquireConstraints:start"];
  4 -> 5 [arrowsize="0.7" label="AcquireConstraints:end"];
  6 -> 8 [arrowsize="0.7" label="Arbitrate:end"];
  7 -> 9 [arrowsize="0.7" label="ScheduleMeeting:end"];
  9 -> 12 [arrowsize="0.7" label="MeetingScheduling:end"];
  10 -> 13 [arrowsize="0.7" label="ExtendDateRange:end"];
  11 -> 14 [arrowsize="0.7" label="WeakenConstraints:end"];
  13 -> 15 [arrowsize="0.7" label="AcquireConstraints:start"];
  14 -> 7 [arrowsize="0.7" label="ScheduleMeeting:start"];
  15 -> 16 [arrowsize="0.7" label="AcquireConstraints:end"];
  16 -> 7 [arrowsize="0.7" label="ScheduleMeeting:start"];
  5 -> 17 [arrowsize="0.7" label="[dateConflict]"];
  17 -> 6 [arrowsize="0.7" label="Arbitrate:start"];
  5 -> 18 [arrowsize="0.7" label="[not(dateConflict)]"];
  18 -> 7 [arrowsize="0.7" label="ScheduleMeeting:start"];
  8 -> 19 [arrowsize="0.7" label="[not(resolveByWeakening)]"];
  19 -> 10 [arrowsize="0.7" label="ExtendDateRange:start"];
  8 -> 20 [arrowsize="0.7" label="[resolveByWeakening]"];
  20 -> 11 [arrowsize="0.7" label="WeakenConstraints:start"];
}