State machine diagram is a critical design model for event-driven systems. Well-designed state machine shows accurately the essential states of objects as well as the triggers of state change. These State Machine Diagram examples show you how to draw such a diagram.