Updating pdf version of state transition graph.