\Draw 
  \PdaDiagrams 
  \StateSpec(+,,,+,,) 
  \Diagram 
  ( 
    1,$p$,100,0 
  & 2,$q_{trap}$,50,-120 
  ) 
  ( 
    0,$q$,0,0 
  ) 
  ( 
     0,1,{b,a/$\epsilon$},{$\epsilon$,$Z_0$/$Z_0$} 
  &  0,2,{a,a/a}, 
  &  1,2,{b,b/b}, 
  &  0,0,90,{$\epsilon$,a/$\epsilon$} 
  &  1,1,90,{$\epsilon$,a/$\epsilon$} 
  &  2,2,-40,{a,$\epsilon$/$\epsilon$,b,$\epsilon$/$\epsilon$} 
  ) 
 
\EndDraw