Transition Systems