Package org.processmining.plugins.multietc.automaton