bug fixed (automaton execution).
cleaner SupervisorInterface.java