Carvalho e Campos: Exemplo

**Figure 10.1:** Initial configuration
$\begin{figure} \begin{center} \begin{picture} (40,20)(0,7.4) \thinlines % \p... ...}}} \put(30,11.7){\makebox(0,0){{\it r}}} \end{picture}\end{center}\end{figure}$

**Figure 10.2:** Client 3 got hungry
$\begin{figure} \begin{center} \begin{picture} (40,20)(0,7.4) \thinlines % \p... ...}}} \put(30,11.7){\makebox(0,0){$\circ$}} \end{picture}\end{center}\end{figure}$