digraph workflow {
  ratio="compress" rankdir="TB" width="0.5" ranksep="0.2"
  node [fontsize="9" fontname="Arial" color="#333333" fillcolor="lightblue" fixedsize="false" width="0.5" shape="ellipse"];
  edge [fontsize="9" fontname="Arial" color="#333333" arrowhead="normal" arrowsize="0.5" shape="box"];

  place_new [label="new", shape=doublecircle style="filled" color="#FF0000" tooltip="new"];
  place_closed [label="closed", shape=ellipse tooltip="closed"];
  place_archived [label="archived", shape=ellipse tooltip="archived"];
  place_indexed [label="indexed", shape=ellipse tooltip="indexed"];
  place_new -> place_closed [label="close" style="dotted" tooltip="close"];
  place_closed -> place_archived [label="archive" style="dotted" tooltip="archive"];
  place_closed -> place_indexed [label="index" style="dotted" tooltip="index"];
}