Graphviz

Example usage from the Graphviz gallery:

Finite State Machine