I have a finite state machine with 4 states and a few dozen arrows.
Which method should I use to draw it?
Graph Drawing section of the pgf manual
uses \node and \edge
The above Graph Drawing section lists a few more.
Which one fits best the finite state machine drawing task?
EDIT: The Automata Drawing Library gives another method but I am not sure whether my few dozen arrows are correctly handled by it