Signal_transition_graphs