%&latex
\documentclass[pdf]{prosper}
\usepackage[usenames]{color}
\usepackage[slide]{gastex}

% % Settings for slides
% \gasset{Nw=12,Nh=12,Nmr=6,ilength=8,flength=8,rdist=1,loopdiam=12}
% \gasset{linewidth=0.21,AHdist=2.1,AHLength=2.25,AHlength=2.1} 


\begin{document}

% Peterson automaton

\overlays{5}{%
\begin{slide}{Peterson}
\begin{center}
\begin{picture}(85,33)(-20,-28)
% \put(-20,-28){\framebox(85,33){}}
  \gasset{Nadjust=w,Nadjustdist=2,Nh=6,Nmr=1}
  \node[Nmarks=i](A)(0,0){idle}
  \drawloop(A){}
  \fromSlide{2}{
  \node(B)(50,0){wait}
  \drawedge(A,B){req1:=true}
  }
  \fromSlide{3}{
  \node(C)(50,-20){wait}
  \drawedge(B,C){turn:=2}
  }
  \fromSlide{4}{
  \node[Nmarks=r,linecolor=Red](D)(0,-20){\textcolor{Red}{critical}}
  \drawedge[curvedepth=3](C,D){turn=1?}
  \drawedge[curvedepth=-3,ELside=r](C,D){req2=false?}
  \drawloop[loopangle=-35](C){else}
  \drawloop[loopangle=-90,linecolor=Red](D){}
  }
  \fromSlide{5}{
  \drawedge(D,A){req1:=false}
  }
\end{picture}
\end{center}
\end{slide}
}


\end{document}