SOLUTIONThe checkout counter can be modeled as a single-channel, single-phase system. Figure B.4 shows the results from the Waiting-Lines Solver from OM Explorer. Manual calculations of the equations for the single-server model are demonstrated in the Solved Problem at the end of the supplement.