JSON file with machine definition created for testing.
Added the TransitionTable class to ease access.
Several minor modifications.