Class ConcreteTransitionRecord