This is actually a object oriented, finite state machine example.  It demonstrates that the state model that we designed for a microwave oven actually works to create the desired behaviors of the oven under all input conditions in the states that it can be in.  So, the little indicators for light, power tube and door show what would be indicated by the state of the ovens hardware.