Artifact Content
Not logged in

Artifact 10cc73878babe05a64e7fcda355dc2d08a9c6ebf:


digraph G {
  node [shape = box,height=.1,fontname = "helvetica"];

  Proposed -> Prepared -> Executed
  Proposed:s -> Rejected:w
  Prepared:s -> Rejected:w

  Executed -> Rejected [style=invis]

  Executed [group=g]
  Rejected [group=g]

  { rank=same Proposed Prepared Executed }
}