Automaten
Dieses Thema enthält Pakete für Zustandsmaschinen, Automaten, beschriftete Graphen etc.
A TikZ-based library for drawing POCL plans.
Finite state machines, graphs and trees in METAPOST.
Dijkstra algorithm for LaTeX.
Comfortably draw and typeset finite state machines.
PSTricks macros for drawing automata.