# to install Graphviz sudo apt-get install graphviz #to create svg or others like pdf, ps dot -Tps connect_fsm.dot -o connect_fsm.svg dot -Tps disconnect_fsm.dot -o disconnect_fsm.svg