\begin{tikzpicture}[node distance=1.2cm,>=stealth',bend angle=25,auto,scale=1.0,transform shape] \tikzstyle{place}=[circle,thick,draw=red!15,fill=red!5,minimum size=5mm] \tikzstyle{transition}=[rectangle,thick,draw=blue!15,fill=blue!5,minimum size=4mm] \tikzstyle{edge}=[black!25!black!25] \tikzstyle{every label}=[black] \begin{scope} % Petri net A \node [place] (p1) [tokens=0] [xshift=-3.5cm]{} ; \node [transition] (t1) [below of=p1] {} edge [pre,black!25] (p1) ; %%in order to center tstart transition \node [place] (p) [below of=t1,circle,draw=white,fill=white] {}; \node [place] (p2) [left of=p] {} edge [pre,black!25] (t1) ; \node [place] (p3) [right of=p,draw=red!75,fill=red!20,dash pattern=on 2pt off 2pt] {} edge [pre,black!25] (t1) ; \node at (p3.west) [left] {}; \node [transition] (t2) [below of=p2] {} edge [pre,black!25] (p2) ; \node [place] (p4) [below of=t2] {} edge [pre,black!25] (t2) ; % Petri net B \node [place] (pb1) [tokens=0] {} ; \node [transition] (tb1) [below of=pb1,draw=blue!75,fill=blue!20,dash pattern=on 2pt off 2pt] {} edge [pre,black!25] (pb1) edge [pre,bend right,green!50!black,thick] (p3) ; \node at (tb1.east) [right] {}; %%in order to center tstart transition \node [place] (pp) [below of=tb1,circle,draw=white,fill=white] {}; \node [place] (pb2) [left of=pp] {} edge [pre,black!25] (tb1) ; \node [place] (pb3) [right of=pp] {} edge [pre,black!25] (tb1) ; \node [transition] (tb2) [below of=pb2] {} edge [pre,black!25] (pb2) ; \node [place] (pb4) [below of=tb2] {} edge [pre,black!25] (tb2) ; \end{scope} \end{tikzpicture}