update fsm.dot