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_healthy [label="healthy", shape=ellipse tooltip="healthy"];
  place_automated [label="automated", shape=ellipse tooltip="automated"];
  place_probation [label="probation", shape=ellipse tooltip="probation"];
  place_problem [label="problem", shape=ellipse tooltip="problem"];
  place_not_news [label="not_news", shape=ellipse tooltip="not_news"];
  place_active [label="active", shape=ellipse tooltip="active"];
  place_new -> place_healthy [label="activate" style="dotted" tooltip="activate"];
  place_new -> place_not_news [label="not_news_website" style="dotted" tooltip="not_news_website"];
  place_probation -> place_healthy [label="activate" style="dotted" tooltip="activate"];
  place_healthy -> place_automated [label="automate" style="dotted" tooltip="automate"];
  place_healthy -> place_not_news [label="not_news_website" style="dotted" tooltip="not_news_website"];
  place_active -> place_not_news [label="not_news_website" style="dotted" tooltip="not_news_website"];
  place_automated -> place_not_news [label="not_news_website" style="dotted" tooltip="not_news_website"];
  place_problem -> place_not_news [label="not_news_website" style="dotted" tooltip="not_news_website"];
}