This package contains the views for the state-automata simulator.