#7: Operation state machine using graphviz