This package contains compositors for state-automata.