\batchmode
\documentclass[12pt]{article}

%
\usepackage{psfig}
%


%
\usepackage[spanish]{babel}
%

%
\usepackage{t1enc}

%
\usepackage{latexsym}

%



\topmargin     -1.5 cm
\oddsidemargin  0   cm
\evensidemargin 0   cm
\textwidth     16.5 cm
\textheight    23   cm
%


\newcommand {\convocatoria}{94sep}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \begin{tabular}{c}
{\bf\Large Examen de Programaci\'{o}n Concurrente}\\ 
\hline
{\sc Depto. LSIIS. Unidad de Programaci\'{o}n.}
\end{tabular}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \psfig{figure=editor_v2_grafo.idr,height=1.5in}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{tabular}{ccccc}
      {\sf Peticiones}&&{\sf B\'{u}fer prim./sec.}&&{\sf Datos ya impresos}\\ 

                  & &             {\sf F C}        & &                    \\ 
   {\sf G F E D C B A}&$\Longrightarrow$ & & $\Longrightarrow$ &{\sf B A}  \\ 
                  & &             {\sf G E D}      & &                    
\end{tabular}
}

{\newpage
\clearpage
\samepage \psfig{figure=spoolX2_grafo1.idr,width=5cm}
}

{\newpage
\clearpage
\samepage \psfig{figure=spoolX2_grafo2.idr,width=16cm}
}

{\newpage
\clearpage
\samepage \begin{tabular}{|l|c|c|c|}
\hline
{\bf \shortstack{Operacion de \\  bloqueo}}&
{\bf \shortstack{Condicion \\  informal \\  de bloqueo}}&
{\bf \shortstack{Condicion \\  codificada \\  de bloqueo}}&
{\bf \shortstack{Variable \\  CONDITION}}\\ 
\hline
\hline
&&&\\ 
{\tt InicioGrabar}&
\shortstack{{\tt primario} lleno y \\  ocupado secundario}&
\shortstack{{\tt Lleno(primario)}\\  {\tt AND ocupadoSec}}&
{\tt permisoGrabar}\\ 
\hline
&&&\\ 
{\tt FinGrabarSec}&---&---&---\\ 
\hline
&&&\\ 
{\tt InicioLeer}&
\shortstack{no hay trabajos o \\  el siguiente trabajo \\  est\'{a} en el
secundario \\  y esta ocupado}&
\shortstack{{\tt Vacia(apuntes) OR }\\ {\tt Primero(apuntes)=sec}\\ 
{\tt AND ocupadoSec}}&
{\tt permisoLeer}\\ 
\hline
&&&\\ 
{\tt FinLeerSec}&---&---&---\\ 
\hline
\hline
\end{tabular}
}

{\newpage
\clearpage
\samepage \begin{tabular}{|l|c|c|c|c|}
\hline
{\bf \shortstack{Operacion que \\  desbloquea}}&
{\bf Post-condicion}&
{\bf \shortstack{Condicion \\  informal de \\  desbloqueo}}&
{\bf \shortstack{Condicion \\  codificada de \\  desbloqueo}}&
{\bf \shortstack{Variable \\  CONDITION}}\\ 
\hline
\hline
&&&&\\ 
{\tt InicioGrabar}&
\shortstack{no vacio {\tt primario}}&
\shortstack{el primer trabajo \\  esta en el {\tt primario}}&
{\tt Primero(apuntes)=prim}&
{\tt permisoLeer}\\ 
\hline
&&&&\\ 
{\tt FinGrabarSec}&
\shortstack{secundario libre \\  y hay trabajos}&
\shortstack{no lleno {\tt primario}\\ o secundario libre}&
---&
{\tt permisoGrabar}\\ 
\hline
&&&&\\ 
{\tt FinGrabarSec}&
\shortstack{secundario libre \\  y hay trabajos}&
\shortstack{hay trabajos y \\  el siguiente esta\\  en secundario y \\ secundario libre}&
---&
{\tt permisoLeer}\\ 
\hline
&&&&\\ 
{\tt InicioLeer}&
\shortstack{{\tt primario} no lleno \\  o secundario ocupado}&
\shortstack{primario no lleno \\  o secundario libre}&
{\tt NOT ocupadoSec}&
{\tt permisoGrabar}\\ 
\hline
&&&&\\ 
{\tt FinLeerSec}&
secundario libre&
\shortstack{primario no lleno \\  o secundario libre}&
---&
{\tt permisoGrabar}\\ 
\hline
\end{tabular}
}

\stepcounter{section}

\end{document}
