suggestion Workflow
2 places
1 transitions
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_queued [label="queued", shape=ellipse tooltip="queued"];
place_new -> place_queued [label="queue" style="dotted" tooltip="queue"];
}