Completed Loading of transition systems from text files.