\Draw 
\PdtDiagrams 
\StateSpec(+,110,,+,107,) 
 
\Diagram 
   ( 
      0,{$\scriptstyle[1,0,0]$},0,0 
   &  400,{$\scriptstyle[4,0,0]$},80,0 
   &  500,{$\scriptstyle[5,0,0]$},140,0 
   &  700,{$\scriptstyle[7,0,0]$},200,0 
   &  800,{$\scriptstyle[8,0,0]$},280,0 
   &  300,{$\scriptstyle[3,0,0]$},410,0 
   &  510,{$\scriptstyle[5,1,0]$},80,-70 
   &  610,{$\scriptstyle[6,1,0]$},80,-140 
   &  411,{$\scriptstyle[4,1,1]$},80,-230 
   &  511,{$\scriptstyle[5,1,1]$},140,-230 
   &  711,{$\scriptstyle[7,1,1]$},200,-230 
   &  811,{$\scriptstyle[8,1,1]$},260,-230 
   &  710,{$\scriptstyle[7,1,0]$},320,-230 
   &  810,{$\scriptstyle[8,1,0]$},380,-230 
   &  501,{$\scriptstyle[5,0,1]$},80,-300 
   &  601,{$\scriptstyle[6,0,1]$},80,-370 
   )( 
      200,{$\scriptstyle[2,0,0]$},350,0 
   )( 
     0,400, {$\epsilon$, $\epsilon$/{$\scriptstyle[1,0,0]$}, $\epsilon$}, 
   & 400,500, {0, $\epsilon$/$\epsilon$, $\epsilon$}, 
   & 500,700, {$\epsilon$, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 700,800, {$\epsilon$, $\epsilon$/$\epsilon$,  0}, 
              {$\epsilon$, {$\scriptstyle[6,1,0]$}/$\epsilon$, $\epsilon$} 
   & 800,200, {$\epsilon$, {$\scriptstyle[1,0,0]$}/$\epsilon$, $\epsilon$}, 
   & 200,300, {$\epsilon$, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 400,510, {1, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 510,610, {$\epsilon$, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 610,411, {$\epsilon$, $\epsilon$/{$\scriptstyle[6,1,0]$}, $\epsilon$}, 
 
   & 411,511, {1, $\epsilon$/$\epsilon$, $\epsilon$}, 
   & 511,711, {$\epsilon$, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 711,811, {$\epsilon$, $\epsilon$/$\epsilon$,  1}, 
   & 811,710, {$\epsilon$, {$\scriptstyle[6,1,0]$}/$\epsilon$, $\epsilon$}, 
   & 710,810, {0, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 710,810, {0, $\epsilon$/$\epsilon$,  $\epsilon$}, 
% 
   & 810,700, {$\epsilon$, {$\scriptstyle[6,1,0]$}/$\epsilon$,  $\epsilon$}, 
   & 810,200, {$\epsilon$, {$\scriptstyle[1,0,0]$}/$\epsilon$,  $\epsilon$}, 
   & 411,501, {0, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   & 501,601, {$\epsilon$, $\epsilon$/$\epsilon$,  $\epsilon$}, 
   ) 
 
\MoveToNode(601,0,0)  \Move(0,-60)  \FcNode(x)  \Edge(601,x) 
\EndDraw