Tikz:Tutorial: A Petri-Net for Hagen

 

 1 \usetikzlibrary{arrows,decorations.pathmorphing,backgrounds,positioning,fit,petri}
 2 \begin{tikzpicture}[
 3 every place/.style={circle,draw=blue!50,fill=blue!20,thick,inner sep = 2pt,minimum size = 6mm},
 4 every  transition/.style={rectangle,draw=black!50,fill=black!20,thick,inner sep = 2pt,minimum size = 6mm},
 5 red place/.style = {place,draw=red!75,fill=red!20},
 6 every label/.style = {red,font=\small},
 7  node distance=1.3cm,bend angle=45,on grid,>=latex,auto
 8 ]
 9 
10 \node (a) [place,tokens =1] {};
11 \node (b) [place ,below=of a] {b};
12 \node (c) [place ,below=of b] {c};
13 \node (d) [place ,below=of c] {d};
14 \node (e) [place ,tokens=1,below=of d] {};
15 
16 \node (f) [transition,left = of b] {f}
17 edge [post]                (b)
18 edge [post,bend right]                (c)
19 edge [pre,bend left]                (a)
20 ;
21 
22 \node (g) [transition,right= of b] {g}
23 edge [pre]                              (b)
24 edge [pre,bend left]                (c)
25 edge [post,bend right]                (a)
26 ;
27 
28 \node (h) [transition,left = of d] {h}
29 edge [post]                (d)
30 edge [post,bend right]                (e)
31 edge [pre,bend left]                (c)
32 ;
33 
34 \node (i) [transition,right= of d] {i}
35 edge [pre]                              (d)
36 edge [pre,bend left]                (e)
37 edge [post,bend right]                (c)
38 ;
39 
40 
41 \begin{scope}[on background layer]
42 \node (r1) [fill=black!10,rounded corners,fit=(a)(b)(c)(d)(e)(f)(g)(h)] {};
43 \end{scope}
44 
45 \begin{scope}[xshift=6cm]
46 \node (a) [place,tokens =1] {};
47 \node (b) [place ,below=of a] {b};
48 \node (c) [red place ,below=of b,xshift=-5mm,tokens=3]     {};
49 \node (d) [red place ,below=of b,xshift=5mm]     {d};
50 \node (e) [place ,below=of d,xshift=-5mm]         {e};
51 \node (f) [place ,below=of e]                     {f};
52 
53 \node (g) [transition,left= of b] {g}
54 edge [post]                              (b)
55 edge [post]                        (c)
56 edge [pre]                        (d)
57 edge [pre,bend left]                        (a)
58 ;
59 
60 \node (h) [transition,right= of b] {h}
61 edge [post]                              (b)
62 edge [post]                        (c)
63 edge [pre]                        (d)
64 edge [pre,bend right]                        (a)
65 ;
66 
67 
68 \node (i) [transition,left= of e] {i}
69 edge [post]                              (e)
70 edge [post]                        (c)
71 edge [pre]                        (d)
72 edge [pre,bend right]                        (f)
73 ;
74 \node (j) [transition,right= of e] {j}
75 edge [post]                              (e)
76 edge [post]                        (c)
77 edge [pre]                        (d)
78 edge [pre,bend left]                        (f)
79 ;
80 
81 
82 
83 
84 \end{scope}
85 
86 \begin{scope}[on background layer]
87 \node (r2) [fill=black!10,rounded corners,fit=(a)(b)(c)(d)(e)(f)(g)(h)] {};
88 \end{scope}
89 
90 \draw [-to ,decorate,decoration={snake,amplitude=.4mm,segment length=1mm,post length=1mm}](r1)--(r2) node [above,text width=1cm,midway] {how are you $a+b$};
91 \end{tikzpicture}