How do you encode at which floor the elevator is?
1 One different state per each floor
Does not scale well; for 100 floors bulding, we need 100 states!
2 The floor is encoded as an extended state, i.e. a variable cf
It scales, but more difficult to design
3 It always depends on what we want to describe!
Which events do we have?
An user press a button to “reserve” the elevator, setting variable rf
An user inside the elevator presses the button to change floor,
setting variable df