resolvePWD.tex 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. \begin{tikzpicture}[node distance=1.3cm,>=stealth',bend
  2. angle=45,auto,scale=0.6,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] [xshift=-5cm]{};
  10. \node at (p1.north) [above, inner sep=3mm] {\textbf{WD$_{A}$}};
  11. \node at (p1.west) [left] {{$p_{ready}$}};
  12. \node [transition] (tp1) [right of=p1,dash pattern=on 2pt off 2pt] {}
  13. edge [post,bend right,dash pattern=on 2pt off 2pt] (p1)
  14. ;
  15. \node at (tp1.south) [below] {{$parent_{start}$}};
  16. \node [transition] (t1) [below of=p1] {}
  17. edge [pre] (p1)
  18. ;
  19. \node at (t1.west) [left] {{$t_{start}$}};
  20. %%in order to center tstart transition
  21. \node [place] (p) [below of=t1,circle,draw=white,fill=white] {};
  22. \node [place] (p2) [left of=p] {}
  23. edge [pre] (t1)
  24. ;
  25. \node at (p2.west) [left] {{$p_{running}$}};
  26. \node [place] (p3) [right of=p] {}
  27. edge [pre] (t1)
  28. ;
  29. \node at (p3.west) [left] {{$p_{started}$}};
  30. \node [transition] (t2) [below of=p2] {}
  31. edge [pre] (p2)
  32. ;
  33. \node at (t2.west) [left] {{$t_{finish}$}};
  34. \node [place] (p4) [below of=t2] {}
  35. edge [pre] (t2)
  36. ;
  37. \node at (p4.west) [left] {{$p_{finished}$}};
  38. \node [transition] (tp2) [right of=p4,dash pattern=on 2pt off 2pt] [xshift=0.5cm] {}
  39. edge [pre,bend left,dash pattern=on 2pt off 2pt] (p4)
  40. ;
  41. \node at (tp2.north) [above] {{$parent_{finish}$}};
  42. %%%%%%%%%%%
  43. \node [place] (tmp) [right of=tp1,circle,draw=white,fill=white] [xshift=0cm]{};
  44. % Petri net Process
  45. %\node [place] (ppc1) [tokens=1,label=left:{$p_{ready}$}] [xshift=0cm]{}
  46. \node [place] (ppc1) [right of=tmp] [xshift=0cm]{};
  47. \node at (ppc1.north) [above, inner sep=3mm] {\textbf{P$_{root}$}};
  48. \node at (ppc1.east) [right] {{$p_{ready}$}};
  49. \node [transition] (tpc1) [below of=ppc1] {}
  50. edge [pre] (ppc1)
  51. ;
  52. \node at (tpc1.east) [right] {{$t_{start}$}};
  53. \node [place] (ppc2) [below of=tpc1] {}
  54. edge [pre] (tpc1)
  55. ;
  56. \node at (ppc2.east) [right] {{$p_{running}$}};
  57. \node [transition] (tpc2) [below of=ppc2] {}
  58. edge [pre] (ppc2)
  59. %% edge [pre,bend right,green!50!black] (pc4)
  60. ;
  61. \node at (tpc2.east) [right] {{$t_{finish}$}};
  62. \node [place] (ppc3) [below of=tpc2] {}
  63. edge [pre] (tpc2)
  64. ;
  65. \node at (ppc3.east) [right] {{$p_{finished}$}};
  66. \end{scope}
  67. \end{tikzpicture}