A tool for creating state diagrams.