Carvalho e Campos: Exemplo

**Figure 10.3:** Client 2 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}$

**Figure 10.4:** Client 3 was forced to render a clean permission
$\begin{figure} \begin{center} \begin{picture} (40,20)(0,7.4) \thinlines % \p... ...}}} \put(20,11.7){\makebox(0,0){$\circ$}} \end{picture}\end{center}\end{figure}$