Package net.automatalib.automaton.concept