YAKINDU Statechart Tools are great for teaching and learning how to use state machines.

YAKINDU for Universities