我使用这个代码:
\begin{tikzpicture}
\node[place,
accepting,
label=above:$p_1^1$] (p11) at (-3,0) {};
\node[transition,
minimum width=1.5mm,
minimum height=12mm,
label=below:$t_1$] (t1) at (-1.5,0) {};
\draw[thick] (p11) edge[post,bend left=30] (t1)
(t1) edge[post,bend left=30] (p11);
\end{tikzpicture}
我想给每个箭头添加一个标签,最好是这样的:
我曾尝试{label}
在每个箭头的接收节点后使用,但是不起作用。