add automata network to prism (MDP) exportation