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 \graph

The Petri net example

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

  • For automaton is dedicated automata TikZ library. – Zarko Jun 23 '20 at 10:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.