finite transition tool part implemented