[PGF] Style des doppelten Pfeiles ändern.

[Donalduck]

Hallo,
ich versuche gerade Petri Netze mit PGF zu malen. Hierbei brauche ich auch Pfeile die sowohl in die eine als auch in die andere Richtung zeigen. PGF macht daraus einen Doppelpfeil (<->), ich hätte aber lieber zwei einzelne Pfeile (so dass das wie ein Kreis aussieht). Jemand eine Idee?

Vielen Dank!

\documentclass[11pt,a4paper,ngerman]{scrartcl}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}

\usepackage{tikz}
\usetikzlibrary{arrows,positioning,fit,petri}
\begin{document}
\begin{tikzpicture}
\node[transition](t1)[]{a};
\node[place, tokens=1][right=of t1](p2){}
edge [post,bend left] (t1)
edge [pre, bend left] (t1);
\end{tikzpicture}
\end{document}

[Stefan_K]

Hallo,

Du könntest zwei Kanten bzw. edges zeichnen, einmal bend left und einmal bend right.

\begin{tikzpicture}
  \node[transition](t1)[]{a};
  \node[place, tokens=1][right=of t1](p2){}
    edge [post,bend left] (t1)
    edge [pre, bend right] (t1);
\end{tikzpicture}

Stefan

[Donalduck]

Oh... wieso dachte ich auch dass zweimal die gleiche Richtung passt... Danke