Transition systems