Pdmc: added method for getting the transitions path in an automaton