_WorkDefinition.tex 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. \begin{tikzpicture}[node distance=1.3cm,>=stealth',bend
  2. angle=45,auto,transform shape]
  3. \tikzstyle{place}=[circle,thick,draw=red!75,fill=red!20,minimum size=5mm]
  4. \tikzstyle{transition}=[rectangle,thick,draw=blue!75,
  5. fill=blue!20,minimum size=4mm]
  6. \tikzstyle{every label}=[black]
  7. \begin{scope}
  8. % Petri net A
  9. %\node [place] (p1) [tokens=1,label=left:{$p_{ready}$}] [xshift=-5cm]{}
  10. \node [place] (p1) [tokens=0] [xshift=-5cm]{}
  11. ;
  12. \node at (p1.west) [left] {};
  13. %\node [transition] (tp1) [right of=p1,dash pattern=on 2pt off 2pt,label=below:{$parent_{start}$}] {}
  14. \node [transition] (tp1) [right of=p1,dash pattern=on 2pt off 2pt] {}
  15. edge [post,bend right,dash pattern=on 2pt off 2pt] (p1)
  16. ;
  17. \node at (tp1.south) [below] {};
  18. %\node [transition] (t1) [below of=p1,label=left:{$t_{start}$}] {}
  19. \node [transition] (t1) [below of=p1] {}
  20. edge [pre] (p1)
  21. ;
  22. \node at (t1.west) [left] {};
  23. %%in order to center tstart transition
  24. \node [place] (p) [below of=t1,circle,draw=white,fill=white] {};
  25. %\node [place] (p2) [left of=p,label=left:{$p_{running}$}] {}
  26. \node [place] (p2) [left of=p] {}
  27. edge [pre] (t1)
  28. ;
  29. \node at (p2.west) [left] {};
  30. %\node [place] (p3) [right of=p,label=left:{$p_{started}$}] {}
  31. \node [place] (p3) [right of=p] {}
  32. edge [pre] (t1)
  33. ;
  34. \node at (p3.west) [left] {};
  35. %\node [transition] (t2) [below of=p2,label=left:{$t_{finish}$}] {}
  36. \node [transition] (t2) [below of=p2] {}
  37. edge [pre] (p2)
  38. ;
  39. \node at (t2.west) [left] {};
  40. %\node [place] (p4) [below of=t2,label=left:{$p_{finished}$}] {}
  41. \node [place] (p4) [below of=t2] {}
  42. edge [pre] (t2)
  43. ;
  44. \node at (p4.west) [left] {};
  45. %\node [transition] (tp2) [right of=p4,dash pattern=on 2pt off 2pt,label=above:{$parent_{finish}$}] [xshift=0.5cm] {}
  46. \node [transition] (tp2) [right of=p4,dash pattern=on 2pt off 2pt] [xshift=0.5cm] {}
  47. edge [pre,bend left,dash pattern=on 2pt off 2pt] (p4)
  48. ;
  49. \node at (tp2.north) [above] {};
  50. \end{scope}
  51. \end{tikzpicture}