FSM display with graphviz