\[fill=black,above = of p8, label=above:t5\] edge\[pre\] node\[auto\] (p8) edge\[post,bend left\] node\[auto\] (p6) edge\[post,bend right\] node\[auto\] (p3);

[0.22]{}

\[node distance=1.3cm, on grid,&gt;=stealth’, bend angle=20, auto, every place/.style= [minimum size=6mm]{}, every transition/.style = [minimum size = 6mm]{} \] (p1); (0) \[right = of p1,fill=black\] edge \[pre\] node\[auto\] (p1); (p2)\[above right = of 0, label=below right:**f**\] edge \[pre\] node\[auto\] (0); (2) \[label=center:, above right = of p2\] edge \[pre, bend left\] node\[auto\] (p2) edge \[post, bend right\] node\[auto\] (p2); (1) \[label=center:, above left = of p2\] edge \[pre, bend left\] node\[auto\] (p2) edge \[post, bend right\] node\[auto\] (p2); (p3)\[below right = of 0\] edge\[pre\] node\[auto\] (0);

\(3) \[label=center:, right = of p3\] edge \[pre\] node\[auto\] (p3);

[0.22]{}

\[node distance=1.3cm, on grid,&gt;=stealth’, bend angle=20, auto, every place/.style= [minimum size=6mm]{}, every transition/.style = [minimum size = 6mm]{} \] (p1); edge \[pre, bend left\] node\[auto\] (p1) edge \[post, bend right\] node\[auto\] (p1); (t1) \[label=above:, above right = of p1\] edge \[pre\] node\[auto\] (p1); (t2) \[label=below:, below right = of p1\] edge \[post\] node\[auto\] (p1); (p2)\[below right = of t1, label=below right:**f**\] edge \[pre\] node\[auto\] (t1) edge \[post\] node\[auto\] (t2);

Figure \[fig:double\_flower\] shows on a simple example how a process can be structured at a high level 