Questa è la figura completa che sto cercando di produrre con pgf (con la libreria positioning).
I comandi seguenti non danno nessun errore, produce il documento correttamente senza darmi nemmeno warning.
Ma le frecce che vanno da un nodo all’altro nel caso delle linee definite con punti di controllo non ci sono (come anche nel tuo esempio), negli altri casi invece vengono disegnate correttamente.
Nemmeno nel manuale trovo riferimento a comandi particolari che dovrei usare per ottenere queste frecce.
`
\documentclass[11pt,italian]{article}
\usepackage{tikz}
\usetikzlibrary{positioning}
\begin{document}
\begin{tikzpicture}
[inner sep=2pt,
pnode/.style={circle,draw,fill=black}, auto,>=latex]
\node (top-c) [pnode,label=above:$\top$] {};
\node (geq0-c) [pnode,label=left:$\geq 0$,below=of top-c] {};
\node (eq0-c) [below=of geq0-c,pnode,label=left:$> 0$] {};
\node (bottom-c) [below=of eq0-c,pnode,label=below:$\bot$] {};
\draw [-] (top-c) — (bottom-c);
\node at (4,0) (top-a) [pnode,label=above:$\top$,label distance=2pt] {};
\node (geq0-a) [pnode,label=left:$\geq 0$,below=of top-a] {};
\node (eq0-a) [pnode,label=left:$> 0$,below left=of geq0-a] {};
\node (safe-a) [pnode,label=right:safe,below=of geq0-a] {};
\node (edge-a) [pnode,label=right:edge,below right=of geq0-a] {};
\node (bottom-a) [pnode,label=below:$\bot$,label distance=2pt,below=of safe-a] {};
\draw [-] (top-a) — (geq0-a);
\draw [-] (geq0-a) — (safe-a);
\draw [-] (geq0-a) — (edge-a);
\draw [-] (geq0-a) — (eq0-a);
\draw [-] (safe-a) — (bottom-a);
\draw [-] (edge-a) — (bottom-a);
\draw [-] (eq0-a) — (bottom-a);
\draw [->] (top-a) to node {$\gamma$} (top-c);
\draw [->] (eq0-a) .. controls +(down:1cm) and +(right:3pt) ..
node[sloped] {$\gamma$} (eq0-c);
\draw [->] (geq0-a) .. controls +(up:1cm) and +(right:3pt) ..
node[sloped] {$\gamma$} (geq0-c);
\draw [->] (bottom-a) to node {$\gamma$} (bottom-c);
\draw [->] (safe-a) to node {$\gamma$} (geq0-c);
\draw [->] (edge-a) .. controls +(up:0.9cm) and +(right:3pt) ..
node[sloped] {$\gamma$} (geq0-c);
\end{tikzpicture}
\end{document}
`