Carvalho e Campos: Exemplo

**Figure 10.5:** Client 1 got hungry
$\begin{figure} \begin{center} \begin{picture} (40,20)(0,7.4) \thinlines % \p... ...} \put(28.8,10.6){\makebox(0,0){$\circ$}} \end{picture}\end{center}\end{figure}$

**Figure 10.6:** Client 1 eats and dirties his permissions
$\begin{figure} \begin{center} \begin{picture} (40,20)(0,7.4) \thinlines % \p... ...(21.3,10.9){\makebox(0,0){$\circ${\it r}}} \end{picture}\end{center}\end{figure}$