Add transition diagram files
Add transition diagrams to tex