The states represent object states. Change of state corresponds to transition from one state to another brought about by an event. Strictly speaking Start state is a pseudo-state, transition to next state being trigger-less. Transition from ``Idle'' state to ``Moving to first floor'' state is caused by the event of time-out. State diagrams help to determine the behaviour of class operations precisely. This is possible for only those classes whose objects have well-defined states.