ResiduatedTransitionSystem