1 \documentclass{minimal}
9 \begin{psmatrix}[mnode=oval, colsep=2cm, rowsep=2cm]
10 [mnode=R,name=vars]{int z:=0, s;} &
11 [name=eingaddr]{\shortstack{\textbf{addr\_eingabe}}} \\
13 [mnode=R,name=res]{sys\_res\_n} &
14 [name=idle]{\shortstack{\textbf{idle}\\s:=0;}} &
15 [name=zeile]{\shortstack{\textbf{read/put}\\s++;}} \\
17 & [name=ergaddr]{\shortstack{\textbf{addr\_result}}} \\
20 \psset{arrows=->, shortput=nab}
22 \ncline[linestyle=dotted]{res}{idle}
24 \ncarc[arcangle=0]{zeile}{idle}\ncput*[npos=.50]{$s>71$}
25 \nccircle[angleA=0]{zeile}{.80cm}\ncput*[npos=0.5]{$s\le71$}
27 \ncarc[arcangle=0]{idle}{eingaddr}\ncput*[npos=.50]{d\_new\_eingabe$\uparrow$}
28 \ncarc[arcangle=0]{idle}{ergaddr}\ncput*[npos=.50]{d\_new\_result$\uparrow$}
30 \ncarc[arcangle=0]{eingaddr}{zeile}
31 \ncarc[arcangle=0]{ergaddr}{zeile}