| 12345678910 |
- digraph workflow {
- ratio="compress" rankdir="LR"
- node [fontsize="9" fontname="Arial" color="#333333" fillcolor="lightblue" fixedsize="1" width="1"];
- edge [fontsize="9" fontname="Arial" color="#333333" arrowhead="normal" arrowsize="0.5"];
- place_active [label="active", shape=circle, style="filled"];
- place_suspend [label="suspend", shape=circle];
- place_active -> place_suspend [label="active_to_suspends" style="solid"];
- }
|
