Generate closed set of transitions