Figure 11.4 Finite state automata of traffic light, photocell, ticket dispenser and stopping bar
upper label indicates the condition that triggers the transition. For example,
occupy() is the method of PhotoCell that triggers the transition from CLEARED
to OCCUPIED . The lower label indicates the action that is performed during
state transition. For example, PhotoCell notifies event OCCUPIED . Event
names are in italic upper case.
Figure 11.5 depicts the controller's finite state automaton. It is made up of
eight states that represent the phases described in Section 11.1.3.
Figure 11.6 depicts the car's finite state automaton. For the sake of
simplicity, we assume that only one car is present in the system at any time;
that is, in this prototype we do not model the queue of waiting cars.
Figure 11.5 Finite state automaton of controller