\setlength{\unitlength}{0.012500in}%
%
\begingroup\makeatletter
% extract first six characters in \fmtname
\def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
\expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
\ifx\x\y   % LaTeX or SliTeX?
\gdef\SetFigFont#1#2#3{%
  \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
     \huge\fi\fi\fi\fi\fi\fi
  \csname #3\endcsname}%
\else
\gdef\SetFigFont#1#2#3{\begingroup
  \count@#1\relax \ifnum 25<\count@\count@25\fi
  \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  \expandafter\x
    \csname \romannumeral\the\count@ pt\expandafter\endcsname
    \csname @\romannumeral\the\count@ pt\endcsname
  \csname #3\endcsname}%
\fi
\endgroup
\begin{picture}(485,135)(55,700)
\put(290,785){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}A}}}
\put(290,765){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}B}}}
\put(290,745){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}C}}}
\put(290,725){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}D}}}
\put(430,785){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}B}}}
\put(430,765){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}B}}}
\put(430,745){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}A}}}
\put(430,725){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}C}}}
\thicklines
\multiput( 80,775)(0.25000,0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput( 85,785)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put( 85,755){\line( 0, 1){ 30}}
\multiput( 65,775)(0.25000,0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput( 70,785)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put( 70,755){\line( 0, 1){ 30}}
\put( 95,800){\line( 1, 0){ 50}}
\multiput(135,805)(0.50000,-0.25000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(145,800)(-0.50000,-0.25000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put(145,740){\line(-1, 0){ 50}}
\multiput(105,745)(-0.50000,-0.25000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput( 95,740)(0.50000,-0.25000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(155,765)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(160,755)(0.25000,0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put(160,785){\line( 0,-1){ 30}}
\multiput(155,775)(0.25000,0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(160,785)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put( 80,800){\circle{22}}
\put(160,800){\circle{22}}
\put( 80,800){\circle{28}}
\put(350,790){\circle{10}}
\put(350,790){\circle{14}}
\put(390,790){\circle{10}}
\put(390,790){\circle{14}}
\put(350,770){\circle{10}}
\put(350,770){\circle{14}}
\put(390,770){\circle{10}}
\put(390,770){\circle{14}}
\put(350,750){\circle{14}}
\put(390,750){\circle{14}}
\put(390,750){\circle{10}}
\put(350,730){\circle{14}}
\put(390,730){\circle{14}}
\put( 80,740){\circle{22}}
\put(160,800){\circle{28}}
\put(160,740){\circle{22}}
\put(415,835){\line( 0,-1){115}}
\put(320,835){\line( 0,-1){115}}
\put(235,815){\line( 1, 0){305}}
\multiput(175,815)(0.41667,0.41667){13}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put(180,820){\line( 1, 0){ 15}}
\multiput(195,820)(0.41667,-0.41667){13}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(200,815)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput(205,805)(-0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put(200,795){\line(-1, 0){ 10}}
\multiput(190,795)(-0.50000,0.25000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put(190,800){\line(-1, 0){ 10}}
\multiput(180,800)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput( 80,765)(0.25000,-0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\multiput( 85,755)(0.25000,0.50000){21}{\makebox(0.4444,0.6667){\SetFigFont{7}{8.4}{rm}.}}
\put( 55,765){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}X}}}
\put( 95,765){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}Y}}}
\put(115,805){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}X}}}
\put(115,720){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}X}}}
\put( 75,795){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}A}}}
\put(430,820){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}End state is:}}}
\put(335,700){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}Action: X}}}
\put(335,820){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}Observed}}}
\put(235,820){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}Started in:}}}
\put( 75,735){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}C}}}
\put(155,795){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}B}}}
\put(205,785){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}X}}}
\put(155,735){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}D}}}
\put(170,760){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{rm}Y}}}
\end{picture}
