123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 |
- \begin{tikzpicture}[node distance=1.3cm,>=stealth',bend
- angle=45,auto,transform shape]
- \tikzstyle{place}=[circle,thick,draw=red!75,fill=red!20,minimum size=5mm]
- \tikzstyle{transition}=[rectangle,thick,draw=blue!75,
- fill=blue!20,minimum size=4mm]
- \tikzstyle{every label}=[black]
- \begin{scope}
- % Petri net A
- %\node [place] (p1) [tokens=1,label=left:{$p_{ready}$}] [xshift=-5cm]{}
- \node [place] (p1) [tokens=0] [xshift=-5cm]{}
- ;
- \node at (p1.west) [left] {};
- %\node [transition] (tp1) [right of=p1,dash pattern=on 2pt off 2pt,label=below:{$parent_{start}$}] {}
- \node [transition] (tp1) [right of=p1,dash pattern=on 2pt off 2pt] {}
- edge [post,bend right,dash pattern=on 2pt off 2pt] (p1)
- ;
- \node at (tp1.south) [below] {};
- %\node [transition] (t1) [below of=p1,label=left:{$t_{start}$}] {}
- \node [transition] (t1) [below of=p1] {}
- edge [pre] (p1)
- ;
- \node at (t1.west) [left] {};
- %%in order to center tstart transition
- \node [place] (p) [below of=t1,circle,draw=white,fill=white] {};
- %\node [place] (p2) [left of=p,label=left:{$p_{running}$}] {}
- \node [place] (p2) [left of=p] {}
- edge [pre] (t1)
- ;
- \node at (p2.west) [left] {};
- %\node [place] (p3) [right of=p,label=left:{$p_{started}$}] {}
- \node [place] (p3) [right of=p] {}
- edge [pre] (t1)
- ;
- \node at (p3.west) [left] {};
- %\node [transition] (t2) [below of=p2,label=left:{$t_{finish}$}] {}
- \node [transition] (t2) [below of=p2] {}
- edge [pre] (p2)
- ;
- \node at (t2.west) [left] {};
- %\node [place] (p4) [below of=t2,label=left:{$p_{finished}$}] {}
- \node [place] (p4) [below of=t2] {}
- edge [pre] (t2)
- ;
- \node at (p4.west) [left] {};
-
- %\node [transition] (tp2) [right of=p4,dash pattern=on 2pt off 2pt,label=above:{$parent_{finish}$}] [xshift=0.5cm] {}
- \node [transition] (tp2) [right of=p4,dash pattern=on 2pt off 2pt] [xshift=0.5cm] {}
- edge [pre,bend left,dash pattern=on 2pt off 2pt] (p4)
- ;
- \node at (tp2.north) [above] {};
- \end{scope}
- \end{tikzpicture}
|