StateMapper, TransitionMapper implemented, tested.