Commit 0a722c93 authored by Jaime Arias's avatar Jaime Arias
Browse files

update all examples

parent 0f27cbd3
\documentclass{standalone}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US}
\begin{document}
\begin{tikzpicture}[node distance=1.8cm]
\tikzstyle{SEQ}=[diamond]
\tikzstyle{NULL}=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle{AND}=[and gate US, rotate=90 ]
\tikzstyle{OR}=[or gate US, rotate=90 ]
\tikzset{every node/.style={ultra thick, draw=red, minimum size=6mm}}
\node[draw=red, SEQ, xshift=0.000000cm ] (FS_10) {\ensuremath{\mathtt{FS_{10}}}};
\node[draw=none, blue, xshift=2mm, yshift=7mm] at (FS_10.east) {\small{\ensuremath{\mathtt{level}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=7mm] at (FS_10.west) {\small{\ensuremath{\mathtt{depth}}}};\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_10.east) {\small{\ensuremath{\mathtt{0}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_10.west) {\small{\ensuremath{\mathtt{43}}}}; \node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_10] (FS_3) {\ensuremath{\mathtt{FS_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_3.east) {\small{\ensuremath{\mathtt{7}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_3.west) {\small{\ensuremath{\mathtt{36}}}}; \draw[dotted, red, thick] (FS_10) edge (FS_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_3] (FS_2) {\ensuremath{\mathtt{FS_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_2.east) {\small{\ensuremath{\mathtt{8}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_2.west) {\small{\ensuremath{\mathtt{35}}}}; \draw[solid] (FS_3) edge (FS_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_2] (FS_1) {\ensuremath{\mathtt{FS_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_1.east) {\small{\ensuremath{\mathtt{9}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_1.west) {\small{\ensuremath{\mathtt{34}}}}; \draw[solid] (FS_2) edge (FS_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=FS_1] (FS'_3) {\ensuremath{\mathtt{FS'_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_3.east) {\small{\ensuremath{\mathtt{10}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_3.west) {\small{\ensuremath{\mathtt{33}}}}; \draw[solid] (FS_1) edge (FS'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_3] (dtm_5) {\ensuremath{\mathtt{dtm_{5}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_5.east) {\small{\ensuremath{\mathtt{10}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_5.west) {\small{\ensuremath{\mathtt{33}}}}; \draw[solid] (FS'_3) edge (dtm_5);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_5] (dtm_4) {\ensuremath{\mathtt{dtm_{4}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_4.east) {\small{\ensuremath{\mathtt{11}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_4.west) {\small{\ensuremath{\mathtt{32}}}}; \draw[solid] (dtm_5) edge (dtm_4);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_4] (dtm_3) {\ensuremath{\mathtt{dtm_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_3.east) {\small{\ensuremath{\mathtt{12}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_3.west) {\small{\ensuremath{\mathtt{31}}}}; \draw[solid] (dtm_4) edge (dtm_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_3] (dtm_2) {\ensuremath{\mathtt{dtm_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_2.east) {\small{\ensuremath{\mathtt{13}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_2.west) {\small{\ensuremath{\mathtt{30}}}}; \draw[solid] (dtm_3) edge (dtm_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_2] (dtm_1) {\ensuremath{\mathtt{dtm_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_1.east) {\small{\ensuremath{\mathtt{14}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_1.west) {\small{\ensuremath{\mathtt{29}}}}; \draw[solid] (dtm_2) edge (dtm_1);
\node[draw=red, state, xshift=-0.000000cm , below of=dtm_1] (dtm') {\ensuremath{\mathtt{dtm'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm'.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm'.west) {\small{\ensuremath{\mathtt{28}}}}; \draw[solid] (dtm_1) edge (dtm');
\node[draw=red, NULL, xshift=-0.000000cm , below of=dtm'] (FS'_2) {\ensuremath{\mathtt{FS'_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_2.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_2.west) {\small{\ensuremath{\mathtt{28}}}}; \draw[solid] (dtm') edge (FS'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_2] (icp_15) {\ensuremath{\mathtt{icp_{15}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_15.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_15.west) {\small{\ensuremath{\mathtt{28}}}}; \draw[solid] (FS'_2) edge (icp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_15] (icp_3) {\ensuremath{\mathtt{icp_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_3.east) {\small{\ensuremath{\mathtt{27}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_3.west) {\small{\ensuremath{\mathtt{16}}}}; \draw[dotted, red, thick] (icp_15) edge (icp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_3] (icp_2) {\ensuremath{\mathtt{icp_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_2.east) {\small{\ensuremath{\mathtt{28}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_2.west) {\small{\ensuremath{\mathtt{15}}}}; \draw[solid] (icp_3) edge (icp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_2] (icp_1) {\ensuremath{\mathtt{icp_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_1.east) {\small{\ensuremath{\mathtt{29}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_1.west) {\small{\ensuremath{\mathtt{14}}}}; \draw[solid] (icp_2) edge (icp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=icp_1] (icp') {\ensuremath{\mathtt{icp'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp'.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp'.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (icp_1) edge (icp');
\node[draw=red, NULL, xshift=-0.000000cm , below of=icp'] (FS'_1) {\ensuremath{\mathtt{FS'_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_1.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_1.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (icp') edge (FS'_1);
\node[draw=red, OR, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of FS'_1.south] (SC') {\rotatebox {-90}{\ensuremath{\mathtt{SC'}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (SC'.south) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (SC'.north) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (FS'_1) edge (SC'.east);
\node[draw=red, NULL, xshift=-0.000000cm , below of=SC'] (PRS') {\ensuremath{\mathtt{PRS'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (PRS'.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (PRS'.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (SC'.west) edge (PRS');
\node[draw=red, NULL, xshift=-0.000000cm , below of=PRS'] (PR'_3) {\ensuremath{\mathtt{PR'_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (PR'_3.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (PR'_3.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (PRS') edge (PR'_3);
\node[draw=red, state, xshift=-0.000000cm , below of=PR'_3] (rfc') {\ensuremath{\mathtt{rfc'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (rfc'.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (rfc'.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (PR'_3) edge (rfc');
\node[draw=red, NULL, xshift=-0.000000cm , below of=rfc'] (PR'_2) {\ensuremath{\mathtt{PR'_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (PR'_2.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (PR'_2.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (rfc') edge (PR'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=PR'_2] (reb_3) {\ensuremath{\mathtt{reb_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (reb_3.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (reb_3.west) {\small{\ensuremath{\mathtt{13}}}}; \draw[solid] (PR'_2) edge (reb_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=reb_3] (reb_2) {\ensuremath{\mathtt{reb_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (reb_2.east) {\small{\ensuremath{\mathtt{31}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (reb_2.west) {\small{\ensuremath{\mathtt{12}}}}; \draw[solid] (reb_3) edge (reb_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=reb_2] (reb_1) {\ensuremath{\mathtt{reb_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (reb_1.east) {\small{\ensuremath{\mathtt{32}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (reb_1.west) {\small{\ensuremath{\mathtt{11}}}}; \draw[solid] (reb_2) edge (reb_1);
\node[draw=red, state, xshift=-0.000000cm , below of=reb_1] (reb') {\ensuremath{\mathtt{reb'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (reb'.east) {\small{\ensuremath{\mathtt{33}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (reb'.west) {\small{\ensuremath{\mathtt{10}}}}; \draw[solid] (reb_1) edge (reb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=reb'] (PR'_1) {\ensuremath{\mathtt{PR'_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (PR'_1.east) {\small{\ensuremath{\mathtt{33}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (PR'_1.west) {\small{\ensuremath{\mathtt{10}}}}; \draw[solid] (reb') edge (PR'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=PR'_1] (hr_10) {\ensuremath{\mathtt{hr_{10}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hr_10.east) {\small{\ensuremath{\mathtt{33}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hr_10.west) {\small{\ensuremath{\mathtt{10}}}}; \draw[solid] (PR'_1) edge (hr_10);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_10] (hr_3) {\ensuremath{\mathtt{hr_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hr_3.east) {\small{\ensuremath{\mathtt{40}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hr_3.west) {\small{\ensuremath{\mathtt{3}}}}; \draw[dotted, red, thick] (hr_10) edge (hr_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_3] (hr_2) {\ensuremath{\mathtt{hr_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hr_2.east) {\small{\ensuremath{\mathtt{41}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hr_2.west) {\small{\ensuremath{\mathtt{2}}}}; \draw[solid] (hr_3) edge (hr_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_2] (hr_1) {\ensuremath{\mathtt{hr_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hr_1.east) {\small{\ensuremath{\mathtt{42}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hr_1.west) {\small{\ensuremath{\mathtt{1}}}}; \draw[solid] (hr_2) edge (hr_1);
\node[draw=red, state, xshift=-0.000000cm , below of=hr_1] (hr') {\ensuremath{\mathtt{hr'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hr'.east) {\small{\ensuremath{\mathtt{43}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hr'.west) {\small{\ensuremath{\mathtt{0}}}}; \draw[solid] (hr_1) edge (hr');
\end{tikzpicture}
\end{document}
\documentclass{standalone}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US}
\begin{document}
\begin{tikzpicture}[node distance=1.8cm]
\tikzstyle{SEQ}=[diamond]
\tikzstyle{NULL}=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle{AND}=[and gate US, rotate=90 ]
\tikzstyle{OR}=[or gate US, rotate=90 ]
\tikzset{every node/.style={ultra thick, draw=red, minimum size=6mm}}
\node[draw=red, SEQ, xshift=0.000000cm ] (FS_10) {\ensuremath{\mathtt{FS_{10}}}};
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_10] (FS_3) {\ensuremath{\mathtt{FS_{3}}}};
\draw[dotted, red, thick] (FS_10) edge (FS_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_3] (FS_2) {\ensuremath{\mathtt{FS_{2}}}};
\draw[solid] (FS_3) edge (FS_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_2] (FS_1) {\ensuremath{\mathtt{FS_{1}}}};
\draw[solid] (FS_2) edge (FS_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=FS_1] (FS'_3) {\ensuremath{\mathtt{FS'_{3}}}};
\draw[solid] (FS_1) edge (FS'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_3] (dtm_5) {\ensuremath{\mathtt{dtm_{5}}}};
\draw[solid] (FS'_3) edge (dtm_5);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_5] (dtm_4) {\ensuremath{\mathtt{dtm_{4}}}};
\draw[solid] (dtm_5) edge (dtm_4);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_4] (dtm_3) {\ensuremath{\mathtt{dtm_{3}}}};
\draw[solid] (dtm_4) edge (dtm_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_3] (dtm_2) {\ensuremath{\mathtt{dtm_{2}}}};
\draw[solid] (dtm_3) edge (dtm_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_2] (dtm_1) {\ensuremath{\mathtt{dtm_{1}}}};
\draw[solid] (dtm_2) edge (dtm_1);
\node[draw=red, state, xshift=-0.000000cm , below of=dtm_1] (dtm') {\ensuremath{\mathtt{dtm'}}};
\draw[solid] (dtm_1) edge (dtm');
\node[draw=red, NULL, xshift=-0.000000cm , below of=dtm'] (FS'_2) {\ensuremath{\mathtt{FS'_{2}}}};
\draw[solid] (dtm') edge (FS'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_2] (icp_15) {\ensuremath{\mathtt{icp_{15}}}};
\draw[solid] (FS'_2) edge (icp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_15] (icp_3) {\ensuremath{\mathtt{icp_{3}}}};
\draw[dotted, red, thick] (icp_15) edge (icp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_3] (icp_2) {\ensuremath{\mathtt{icp_{2}}}};
\draw[solid] (icp_3) edge (icp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_2] (icp_1) {\ensuremath{\mathtt{icp_{1}}}};
\draw[solid] (icp_2) edge (icp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=icp_1] (icp') {\ensuremath{\mathtt{icp'}}};
\draw[solid] (icp_1) edge (icp');
\node[draw=red, NULL, xshift=-0.000000cm , below of=icp'] (FS'_1) {\ensuremath{\mathtt{FS'_{1}}}};
\draw[solid] (icp') edge (FS'_1);
\node[draw=red, OR, logic gate inputs=nnn, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of FS'_1.south] (SC') {\rotatebox {-90}{\ensuremath{\mathtt{SC'}}}};
\draw[solid] (FS'_1) edge (SC'.east);
\node[draw=red, SEQ, xshift=-2.500000cm , below of=SC'] (BRB_3) {\ensuremath{\mathtt{BRB_{3}}}};
\draw[solid] (SC'.input 1) edge (BRB_3);
\node[draw=red, NULL, xshift=0.000000cm , below of=SC'] (NAS') {\ensuremath{\mathtt{NAS'}}};
\draw[solid] (SC'.input 2) edge (NAS');
\node[draw=red, NULL, xshift=2.500000cm , below of=SC'] (PRS') {\ensuremath{\mathtt{PRS'}}};
\draw[solid] (SC'.input 3) edge (PRS');
\node[draw=red, NULL, xshift=-0.000000cm , below of=PRS'] (PR'_3) {\ensuremath{\mathtt{PR'_{3}}}};
\draw[solid] (PRS') edge (PR'_3);
\node[draw=red, state, xshift=-0.000000cm , below of=PR'_3] (rfc') {\ensuremath{\mathtt{rfc'}}};
\draw[solid] (PR'_3) edge (rfc');
\node[draw=red, NULL, xshift=-0.000000cm , below of=rfc'] (PR'_2) {\ensuremath{\mathtt{PR'_{2}}}};
\draw[solid] (rfc') edge (PR'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=PR'_2] (reb_3) {\ensuremath{\mathtt{reb_{3}}}};
\draw[solid] (PR'_2) edge (reb_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=reb_3] (reb_2) {\ensuremath{\mathtt{reb_{2}}}};
\draw[solid] (reb_3) edge (reb_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=reb_2] (reb_1) {\ensuremath{\mathtt{reb_{1}}}};
\draw[solid] (reb_2) edge (reb_1);
\node[draw=red, state, xshift=-0.000000cm , below of=reb_1] (reb') {\ensuremath{\mathtt{reb'}}};
\draw[solid] (reb_1) edge (reb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=reb'] (PR'_1) {\ensuremath{\mathtt{PR'_{1}}}};
\draw[solid] (reb') edge (PR'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=PR'_1] (hr_10) {\ensuremath{\mathtt{hr_{10}}}};
\draw[solid] (PR'_1) edge (hr_10);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_10] (hr_3) {\ensuremath{\mathtt{hr_{3}}}};
\draw[dotted, red, thick] (hr_10) edge (hr_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_3] (hr_2) {\ensuremath{\mathtt{hr_{2}}}};
\draw[solid] (hr_3) edge (hr_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hr_2] (hr_1) {\ensuremath{\mathtt{hr_{1}}}};
\draw[solid] (hr_2) edge (hr_1);
\node[draw=red, state, xshift=-0.000000cm , below of=hr_1] (hr') {\ensuremath{\mathtt{hr'}}};
\draw[solid] (hr_1) edge (hr');
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NAS'] (NA_1) {\ensuremath{\mathtt{NA_{1}}}};
\draw[solid] (NAS') edge (NA_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=NA_1] (NA'_3) {\ensuremath{\mathtt{NA'_{3}}}};
\draw[solid] (NA_1) edge (NA'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_3] (heb_3) {\ensuremath{\mathtt{heb_{3}}}};
\draw[solid] (NA'_3) edge (heb_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_3] (heb_2) {\ensuremath{\mathtt{heb_{2}}}};
\draw[solid] (heb_3) edge (heb_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_2] (heb_1) {\ensuremath{\mathtt{heb_{1}}}};
\draw[solid] (heb_2) edge (heb_1);
\node[draw=red, state, xshift=-0.000000cm , below of=heb_1] (heb') {\ensuremath{\mathtt{heb'}}};
\draw[solid] (heb_1) edge (heb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=heb'] (NA'_2) {\ensuremath{\mathtt{NA'_{2}}}};
\draw[solid] (heb') edge (NA'_2);
\node[draw=red, state, xshift=-0.000000cm , below of=NA'_2] (sb') {\ensuremath{\mathtt{sb'}}};
\draw[solid] (NA'_2) edge (sb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=sb'] (NA'_1) {\ensuremath{\mathtt{NA'_{1}}}};
\draw[solid] (sb') edge (NA'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_1] (hh_20) {\ensuremath{\mathtt{hh_{20}}}};
\draw[solid] (NA'_1) edge (hh_20);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_20] (hh_3) {\ensuremath{\mathtt{hh_{3}}}};
\draw[dotted, red, thick] (hh_20) edge (hh_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_3] (hh_2) {\ensuremath{\mathtt{hh_{2}}}};
\draw[solid] (hh_3) edge (hh_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_2] (hh_1) {\ensuremath{\mathtt{hh_{1}}}};
\draw[solid] (hh_2) edge (hh_1);
\node[draw=red, state, xshift=-0.000000cm , below of=hh_1] (hh') {\ensuremath{\mathtt{hh'}}};
\draw[solid] (hh_1) edge (hh');
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB_3] (BRB_2) {\ensuremath{\mathtt{BRB_{2}}}};
\draw[solid] (BRB_3) edge (BRB_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB_2] (BRB_1) {\ensuremath{\mathtt{BRB_{1}}}};
\draw[solid] (BRB_2) edge (BRB_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=BRB_1] (BRB'_2) {\ensuremath{\mathtt{BRB'_{2}}}};
\draw[solid] (BRB_1) edge (BRB'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB'_2] (psc_7) {\ensuremath{\mathtt{psc_{7}}}};
\draw[solid] (BRB'_2) edge (psc_7);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_7] (psc_3) {\ensuremath{\mathtt{psc_{3}}}};
\draw[dotted, red, thick] (psc_7) edge (psc_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_3] (psc_2) {\ensuremath{\mathtt{psc_{2}}}};
\draw[solid] (psc_3) edge (psc_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_2] (psc_1) {\ensuremath{\mathtt{psc_{1}}}};
\draw[solid] (psc_2) edge (psc_1);
\node[draw=red, state, xshift=-0.000000cm , below of=psc_1] (psc') {\ensuremath{\mathtt{psc'}}};
\draw[solid] (psc_1) edge (psc');
\node[draw=red, NULL, xshift=-0.000000cm , below of=psc'] (BRB'_1) {\ensuremath{\mathtt{BRB'_{1}}}};
\draw[solid] (psc') edge (BRB'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB'_1] (bp_15) {\ensuremath{\mathtt{bp_{15}}}};
\draw[solid] (BRB'_1) edge (bp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_15] (bp_3) {\ensuremath{\mathtt{bp_{3}}}};
\draw[dotted, red, thick] (bp_15) edge (bp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_3] (bp_2) {\ensuremath{\mathtt{bp_{2}}}};
\draw[solid] (bp_3) edge (bp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_2] (bp_1) {\ensuremath{\mathtt{bp_{1}}}};
\draw[solid] (bp_2) edge (bp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=bp_1] (bp') {\ensuremath{\mathtt{bp'}}};
\draw[solid] (bp_1) edge (bp');
\end{tikzpicture}
\end{document}
\documentclass{article}
\usepackage{longtable}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{diagbox}
\begin{document}
\rowcolors{2}{lightgray!30}{white}
\begin{longtable}{c|l|}
\diagbox[]{slot}{agent}&1\\
\hline
\endhead
\hline
\endfoot
1&{\ensuremath{\mathtt{hr',hr_{1}}}}\\
2&{\ensuremath{\mathtt{hr_{2}}}}\\
3&{\ensuremath{\mathtt{hr_{3}}}}\\
4&{\ensuremath{\mathtt{hr_{4}}}}\\
5&{\ensuremath{\mathtt{hr_{5}}}}\\
6&{\ensuremath{\mathtt{hr_{6}}}}\\
7&{\ensuremath{\mathtt{hr_{7}}}}\\
8&{\ensuremath{\mathtt{hr_{8}}}}\\
9&{\ensuremath{\mathtt{hr_{9}}}}\\
10&{\ensuremath{\mathtt{PR'_{1,hr_10}}}}\\
11&{\ensuremath{\mathtt{reb',reb_{1}}}}\\
12&{\ensuremath{\mathtt{reb_{2}}}}\\
13&{\ensuremath{\mathtt{FS'_{1,PR'_2,PR'_3,PRS',SC',reb_3,rfc'}}}}\\
14&{\ensuremath{\mathtt{icp',icp_{1}}}}\\
15&{\ensuremath{\mathtt{icp_{2}}}}\\
16&{\ensuremath{\mathtt{icp_{3}}}}\\
17&{\ensuremath{\mathtt{icp_{4}}}}\\
18&{\ensuremath{\mathtt{icp_{5}}}}\\
19&{\ensuremath{\mathtt{icp_{6}}}}\\
20&{\ensuremath{\mathtt{icp_{7}}}}\\
21&{\ensuremath{\mathtt{icp_{8}}}}\\
22&{\ensuremath{\mathtt{icp_{9}}}}\\
23&{\ensuremath{\mathtt{icp_{10}}}}\\
24&{\ensuremath{\mathtt{icp_{11}}}}\\
25&{\ensuremath{\mathtt{icp_{12}}}}\\
26&{\ensuremath{\mathtt{icp_{13}}}}\\
27&{\ensuremath{\mathtt{icp_{14}}}}\\
28&{\ensuremath{\mathtt{FS'_{2,icp_15}}}}\\
29&{\ensuremath{\mathtt{dtm',dtm_{1}}}}\\
30&{\ensuremath{\mathtt{dtm_{2}}}}\\
31&{\ensuremath{\mathtt{dtm_{3}}}}\\
32&{\ensuremath{\mathtt{dtm_{4}}}}\\
33&{\ensuremath{\mathtt{dtm_{5}}}}\\
34&{\ensuremath{\mathtt{FS'_{3,FS_1}}}}\\
35&{\ensuremath{\mathtt{FS_{2}}}}\\
36&{\ensuremath{\mathtt{FS_{3}}}}\\
37&{\ensuremath{\mathtt{FS_{4}}}}\\
38&{\ensuremath{\mathtt{FS_{5}}}}\\
39&{\ensuremath{\mathtt{FS_{6}}}}\\
40&{\ensuremath{\mathtt{FS_{7}}}}\\
41&{\ensuremath{\mathtt{FS_{8}}}}\\
42&{\ensuremath{\mathtt{FS_{9}}}}\\
43&{\ensuremath{\mathtt{FS_{10}}}}\\
\end{longtable}
\end{document}
\documentclass{standalone}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US}
\begin{document}
\begin{tikzpicture}[node distance=1.8cm]
\tikzstyle{SEQ}=[diamond]
\tikzstyle{NULL}=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle{AND}=[and gate US, rotate=90 ]
\tikzstyle{OR}=[or gate US, rotate=90 ]
\tikzset{every node/.style={ultra thick, draw=red, minimum size=6mm}}
\node[draw=red, SEQ, xshift=0.000000cm ] (FS_10) {\ensuremath{\mathtt{FS_{10}}}};
\node[draw=none, blue, xshift=2mm, yshift=7mm] at (FS_10.east) {\small{\ensuremath{\mathtt{level}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=7mm] at (FS_10.west) {\small{\ensuremath{\mathtt{depth}}}};\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_10.east) {\small{\ensuremath{\mathtt{0}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_10.west) {\small{\ensuremath{\mathtt{54}}}}; \node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_10] (FS_3) {\ensuremath{\mathtt{FS_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_3.east) {\small{\ensuremath{\mathtt{7}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_3.west) {\small{\ensuremath{\mathtt{47}}}}; \draw[dotted, red, thick] (FS_10) edge (FS_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_3] (FS_2) {\ensuremath{\mathtt{FS_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_2.east) {\small{\ensuremath{\mathtt{8}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_2.west) {\small{\ensuremath{\mathtt{46}}}}; \draw[solid] (FS_3) edge (FS_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_2] (FS_1) {\ensuremath{\mathtt{FS_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS_1.east) {\small{\ensuremath{\mathtt{9}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS_1.west) {\small{\ensuremath{\mathtt{45}}}}; \draw[solid] (FS_2) edge (FS_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=FS_1] (FS'_3) {\ensuremath{\mathtt{FS'_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_3.east) {\small{\ensuremath{\mathtt{10}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_3.west) {\small{\ensuremath{\mathtt{44}}}}; \draw[solid] (FS_1) edge (FS'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_3] (dtm_5) {\ensuremath{\mathtt{dtm_{5}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_5.east) {\small{\ensuremath{\mathtt{10}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_5.west) {\small{\ensuremath{\mathtt{44}}}}; \draw[solid] (FS'_3) edge (dtm_5);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_5] (dtm_4) {\ensuremath{\mathtt{dtm_{4}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_4.east) {\small{\ensuremath{\mathtt{11}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_4.west) {\small{\ensuremath{\mathtt{43}}}}; \draw[solid] (dtm_5) edge (dtm_4);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_4] (dtm_3) {\ensuremath{\mathtt{dtm_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_3.east) {\small{\ensuremath{\mathtt{12}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_3.west) {\small{\ensuremath{\mathtt{42}}}}; \draw[solid] (dtm_4) edge (dtm_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_3] (dtm_2) {\ensuremath{\mathtt{dtm_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_2.east) {\small{\ensuremath{\mathtt{13}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_2.west) {\small{\ensuremath{\mathtt{41}}}}; \draw[solid] (dtm_3) edge (dtm_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_2] (dtm_1) {\ensuremath{\mathtt{dtm_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm_1.east) {\small{\ensuremath{\mathtt{14}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm_1.west) {\small{\ensuremath{\mathtt{40}}}}; \draw[solid] (dtm_2) edge (dtm_1);
\node[draw=red, state, xshift=-0.000000cm , below of=dtm_1] (dtm') {\ensuremath{\mathtt{dtm'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (dtm'.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (dtm'.west) {\small{\ensuremath{\mathtt{39}}}}; \draw[solid] (dtm_1) edge (dtm');
\node[draw=red, NULL, xshift=-0.000000cm , below of=dtm'] (FS'_2) {\ensuremath{\mathtt{FS'_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_2.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_2.west) {\small{\ensuremath{\mathtt{39}}}}; \draw[solid] (dtm') edge (FS'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_2] (icp_15) {\ensuremath{\mathtt{icp_{15}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_15.east) {\small{\ensuremath{\mathtt{15}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_15.west) {\small{\ensuremath{\mathtt{39}}}}; \draw[solid] (FS'_2) edge (icp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_15] (icp_3) {\ensuremath{\mathtt{icp_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_3.east) {\small{\ensuremath{\mathtt{27}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_3.west) {\small{\ensuremath{\mathtt{27}}}}; \draw[dotted, red, thick] (icp_15) edge (icp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_3] (icp_2) {\ensuremath{\mathtt{icp_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_2.east) {\small{\ensuremath{\mathtt{28}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_2.west) {\small{\ensuremath{\mathtt{26}}}}; \draw[solid] (icp_3) edge (icp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_2] (icp_1) {\ensuremath{\mathtt{icp_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp_1.east) {\small{\ensuremath{\mathtt{29}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp_1.west) {\small{\ensuremath{\mathtt{25}}}}; \draw[solid] (icp_2) edge (icp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=icp_1] (icp') {\ensuremath{\mathtt{icp'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (icp'.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (icp'.west) {\small{\ensuremath{\mathtt{24}}}}; \draw[solid] (icp_1) edge (icp');
\node[draw=red, NULL, xshift=-0.000000cm , below of=icp'] (FS'_1) {\ensuremath{\mathtt{FS'_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (FS'_1.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (FS'_1.west) {\small{\ensuremath{\mathtt{24}}}}; \draw[solid] (icp') edge (FS'_1);
\node[draw=red, OR, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of FS'_1.south] (SC') {\rotatebox {-90}{\ensuremath{\mathtt{SC'}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (SC'.south) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (SC'.north) {\small{\ensuremath{\mathtt{24}}}}; \draw[solid] (FS'_1) edge (SC'.east);
\node[draw=red, NULL, xshift=-0.000000cm , below of=SC'] (NAS') {\ensuremath{\mathtt{NAS'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (NAS'.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (NAS'.west) {\small{\ensuremath{\mathtt{24}}}}; \draw[solid] (SC'.west) edge (NAS');
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NAS'] (NA_1) {\ensuremath{\mathtt{NA_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (NA_1.east) {\small{\ensuremath{\mathtt{30}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (NA_1.west) {\small{\ensuremath{\mathtt{24}}}}; \draw[solid] (NAS') edge (NA_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=NA_1] (NA'_3) {\ensuremath{\mathtt{NA'_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (NA'_3.east) {\small{\ensuremath{\mathtt{31}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (NA'_3.west) {\small{\ensuremath{\mathtt{23}}}}; \draw[solid] (NA_1) edge (NA'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_3] (heb_3) {\ensuremath{\mathtt{heb_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (heb_3.east) {\small{\ensuremath{\mathtt{31}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (heb_3.west) {\small{\ensuremath{\mathtt{23}}}}; \draw[solid] (NA'_3) edge (heb_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_3] (heb_2) {\ensuremath{\mathtt{heb_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (heb_2.east) {\small{\ensuremath{\mathtt{32}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (heb_2.west) {\small{\ensuremath{\mathtt{22}}}}; \draw[solid] (heb_3) edge (heb_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_2] (heb_1) {\ensuremath{\mathtt{heb_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (heb_1.east) {\small{\ensuremath{\mathtt{33}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (heb_1.west) {\small{\ensuremath{\mathtt{21}}}}; \draw[solid] (heb_2) edge (heb_1);
\node[draw=red, state, xshift=-0.000000cm , below of=heb_1] (heb') {\ensuremath{\mathtt{heb'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (heb'.east) {\small{\ensuremath{\mathtt{34}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (heb'.west) {\small{\ensuremath{\mathtt{20}}}}; \draw[solid] (heb_1) edge (heb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=heb'] (NA'_2) {\ensuremath{\mathtt{NA'_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (NA'_2.east) {\small{\ensuremath{\mathtt{34}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (NA'_2.west) {\small{\ensuremath{\mathtt{20}}}}; \draw[solid] (heb') edge (NA'_2);
\node[draw=red, state, xshift=-0.000000cm , below of=NA'_2] (sb') {\ensuremath{\mathtt{sb'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (sb'.east) {\small{\ensuremath{\mathtt{34}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (sb'.west) {\small{\ensuremath{\mathtt{20}}}}; \draw[solid] (NA'_2) edge (sb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=sb'] (NA'_1) {\ensuremath{\mathtt{NA'_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (NA'_1.east) {\small{\ensuremath{\mathtt{34}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (NA'_1.west) {\small{\ensuremath{\mathtt{20}}}}; \draw[solid] (sb') edge (NA'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_1] (hh_20) {\ensuremath{\mathtt{hh_{20}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hh_20.east) {\small{\ensuremath{\mathtt{34}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hh_20.west) {\small{\ensuremath{\mathtt{20}}}}; \draw[solid] (NA'_1) edge (hh_20);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_20] (hh_3) {\ensuremath{\mathtt{hh_{3}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hh_3.east) {\small{\ensuremath{\mathtt{51}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hh_3.west) {\small{\ensuremath{\mathtt{3}}}}; \draw[dotted, red, thick] (hh_20) edge (hh_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_3] (hh_2) {\ensuremath{\mathtt{hh_{2}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hh_2.east) {\small{\ensuremath{\mathtt{52}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hh_2.west) {\small{\ensuremath{\mathtt{2}}}}; \draw[solid] (hh_3) edge (hh_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_2] (hh_1) {\ensuremath{\mathtt{hh_{1}}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hh_1.east) {\small{\ensuremath{\mathtt{53}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hh_1.west) {\small{\ensuremath{\mathtt{1}}}}; \draw[solid] (hh_2) edge (hh_1);
\node[draw=red, state, xshift=-0.000000cm , below of=hh_1] (hh') {\ensuremath{\mathtt{hh'}}};
\node[draw=none, blue, xshift=2mm, yshift=0mm] at (hh'.east) {\small{\ensuremath{\mathtt{54}}}};\node[draw=none, green!60!black, xshift=-2mm, yshift=0mm] at (hh'.west) {\small{\ensuremath{\mathtt{0}}}}; \draw[solid] (hh_1) edge (hh');
\end{tikzpicture}
\end{document}
\documentclass{standalone}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US}
\begin{document}
\begin{tikzpicture}[node distance=1.8cm]
\tikzstyle{SEQ}=[diamond]
\tikzstyle{NULL}=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle{AND}=[and gate US, rotate=90 ]
\tikzstyle{OR}=[or gate US, rotate=90 ]
\tikzset{every node/.style={ultra thick, draw=red, minimum size=6mm}}
\node[draw=red, SEQ, xshift=0.000000cm ] (FS_10) {\ensuremath{\mathtt{FS_{10}}}};
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_10] (FS_3) {\ensuremath{\mathtt{FS_{3}}}};
\draw[dotted, red, thick] (FS_10) edge (FS_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_3] (FS_2) {\ensuremath{\mathtt{FS_{2}}}};
\draw[solid] (FS_3) edge (FS_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS_2] (FS_1) {\ensuremath{\mathtt{FS_{1}}}};
\draw[solid] (FS_2) edge (FS_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=FS_1] (FS'_3) {\ensuremath{\mathtt{FS'_{3}}}};
\draw[solid] (FS_1) edge (FS'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_3] (dtm_5) {\ensuremath{\mathtt{dtm_{5}}}};
\draw[solid] (FS'_3) edge (dtm_5);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_5] (dtm_4) {\ensuremath{\mathtt{dtm_{4}}}};
\draw[solid] (dtm_5) edge (dtm_4);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_4] (dtm_3) {\ensuremath{\mathtt{dtm_{3}}}};
\draw[solid] (dtm_4) edge (dtm_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_3] (dtm_2) {\ensuremath{\mathtt{dtm_{2}}}};
\draw[solid] (dtm_3) edge (dtm_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=dtm_2] (dtm_1) {\ensuremath{\mathtt{dtm_{1}}}};
\draw[solid] (dtm_2) edge (dtm_1);
\node[draw=red, state, xshift=-0.000000cm , below of=dtm_1] (dtm') {\ensuremath{\mathtt{dtm'}}};
\draw[solid] (dtm_1) edge (dtm');
\node[draw=red, NULL, xshift=-0.000000cm , below of=dtm'] (FS'_2) {\ensuremath{\mathtt{FS'_{2}}}};
\draw[solid] (dtm') edge (FS'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=FS'_2] (icp_15) {\ensuremath{\mathtt{icp_{15}}}};
\draw[solid] (FS'_2) edge (icp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_15] (icp_3) {\ensuremath{\mathtt{icp_{3}}}};
\draw[dotted, red, thick] (icp_15) edge (icp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_3] (icp_2) {\ensuremath{\mathtt{icp_{2}}}};
\draw[solid] (icp_3) edge (icp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=icp_2] (icp_1) {\ensuremath{\mathtt{icp_{1}}}};
\draw[solid] (icp_2) edge (icp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=icp_1] (icp') {\ensuremath{\mathtt{icp'}}};
\draw[solid] (icp_1) edge (icp');
\node[draw=red, NULL, xshift=-0.000000cm , below of=icp'] (FS'_1) {\ensuremath{\mathtt{FS'_{1}}}};
\draw[solid] (icp') edge (FS'_1);
\node[draw=red, OR, logic gate inputs=nn, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of FS'_1.south] (SC') {\rotatebox {-90}{\ensuremath{\mathtt{SC'}}}};
\draw[solid] (FS'_1) edge (SC'.east);
\node[draw=red, SEQ, xshift=-1.250000cm , below of=SC'] (BRB_3) {\ensuremath{\mathtt{BRB_{3}}}};
\draw[solid] (SC'.input 1) edge (BRB_3);
\node[draw=red, NULL, xshift=1.250000cm , below of=SC'] (NAS') {\ensuremath{\mathtt{NAS'}}};
\draw[solid] (SC'.input 2) edge (NAS');
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NAS'] (NA_1) {\ensuremath{\mathtt{NA_{1}}}};
\draw[solid] (NAS') edge (NA_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=NA_1] (NA'_3) {\ensuremath{\mathtt{NA'_{3}}}};
\draw[solid] (NA_1) edge (NA'_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_3] (heb_3) {\ensuremath{\mathtt{heb_{3}}}};
\draw[solid] (NA'_3) edge (heb_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_3] (heb_2) {\ensuremath{\mathtt{heb_{2}}}};
\draw[solid] (heb_3) edge (heb_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=heb_2] (heb_1) {\ensuremath{\mathtt{heb_{1}}}};
\draw[solid] (heb_2) edge (heb_1);
\node[draw=red, state, xshift=-0.000000cm , below of=heb_1] (heb') {\ensuremath{\mathtt{heb'}}};
\draw[solid] (heb_1) edge (heb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=heb'] (NA'_2) {\ensuremath{\mathtt{NA'_{2}}}};
\draw[solid] (heb') edge (NA'_2);
\node[draw=red, state, xshift=-0.000000cm , below of=NA'_2] (sb') {\ensuremath{\mathtt{sb'}}};
\draw[solid] (NA'_2) edge (sb');
\node[draw=red, NULL, xshift=-0.000000cm , below of=sb'] (NA'_1) {\ensuremath{\mathtt{NA'_{1}}}};
\draw[solid] (sb') edge (NA'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=NA'_1] (hh_20) {\ensuremath{\mathtt{hh_{20}}}};
\draw[solid] (NA'_1) edge (hh_20);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_20] (hh_3) {\ensuremath{\mathtt{hh_{3}}}};
\draw[dotted, red, thick] (hh_20) edge (hh_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_3] (hh_2) {\ensuremath{\mathtt{hh_{2}}}};
\draw[solid] (hh_3) edge (hh_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=hh_2] (hh_1) {\ensuremath{\mathtt{hh_{1}}}};
\draw[solid] (hh_2) edge (hh_1);
\node[draw=red, state, xshift=-0.000000cm , below of=hh_1] (hh') {\ensuremath{\mathtt{hh'}}};
\draw[solid] (hh_1) edge (hh');
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB_3] (BRB_2) {\ensuremath{\mathtt{BRB_{2}}}};
\draw[solid] (BRB_3) edge (BRB_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB_2] (BRB_1) {\ensuremath{\mathtt{BRB_{1}}}};
\draw[solid] (BRB_2) edge (BRB_1);
\node[draw=red, NULL, xshift=-0.000000cm , below of=BRB_1] (BRB'_2) {\ensuremath{\mathtt{BRB'_{2}}}};
\draw[solid] (BRB_1) edge (BRB'_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB'_2] (psc_7) {\ensuremath{\mathtt{psc_{7}}}};
\draw[solid] (BRB'_2) edge (psc_7);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_7] (psc_3) {\ensuremath{\mathtt{psc_{3}}}};
\draw[dotted, red, thick] (psc_7) edge (psc_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_3] (psc_2) {\ensuremath{\mathtt{psc_{2}}}};
\draw[solid] (psc_3) edge (psc_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=psc_2] (psc_1) {\ensuremath{\mathtt{psc_{1}}}};
\draw[solid] (psc_2) edge (psc_1);
\node[draw=red, state, xshift=-0.000000cm , below of=psc_1] (psc') {\ensuremath{\mathtt{psc'}}};
\draw[solid] (psc_1) edge (psc');
\node[draw=red, NULL, xshift=-0.000000cm , below of=psc'] (BRB'_1) {\ensuremath{\mathtt{BRB'_{1}}}};
\draw[solid] (psc') edge (BRB'_1);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=BRB'_1] (bp_15) {\ensuremath{\mathtt{bp_{15}}}};
\draw[solid] (BRB'_1) edge (bp_15);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_15] (bp_3) {\ensuremath{\mathtt{bp_{3}}}};
\draw[dotted, red, thick] (bp_15) edge (bp_3);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_3] (bp_2) {\ensuremath{\mathtt{bp_{2}}}};
\draw[solid] (bp_3) edge (bp_2);
\node[draw=red, SEQ, xshift=-0.000000cm , below of=bp_2] (bp_1) {\ensuremath{\mathtt{bp_{1}}}};
\draw[solid] (bp_2) edge (bp_1);
\node[draw=red, state, xshift=-0.000000cm , below of=bp_1] (bp') {\ensuremath{\mathtt{bp'}}};
\draw[solid] (bp_1) edge (bp');
\end{tikzpicture}
\end{document}
\documentclass{article}
\usepackage{longtable}
\usepackage[dvipsnames,svgnames,table]{xcolor}
\usepackage{diagbox}
\begin{document}
\rowcolors{2}{lightgray!30}{white}
\begin{longtable}{c|l|}
\diagbox[]{slot}{agent}&1\\
\hline
\endhead
\hline
\endfoot
1&{\ensuremath{\mathtt{hh',hh_{1}}}}\\
2&{\ensuremath{\mathtt{hh_{2}}}}\\
3&{\ensuremath{\mathtt{hh_{3}}}}\\
4&{\ensuremath{\mathtt{hh_{4}}}}\\
5&{\ensuremath{\mathtt{hh_{5}}}}\\
6&{\ensuremath{\mathtt{hh_{6}}}}\\
7&{\ensuremath{\mathtt{hh_{7}}}}\\
8&{\ensuremath{\mathtt{hh_{8}}}}\\
9&{\ensuremath{\mathtt{hh_{9}}}}\\
10&{\ensuremath{\mathtt{hh_{10}}}}\\
11&{\ensuremath{\mathtt{hh_{11}}}}\\
12&{\ensuremath{\mathtt{hh_{12}}}}\\
13&{\ensuremath{\mathtt{hh_{13}}}}\\
14&{\ensuremath{\mathtt{hh_{14}}}}\\
15&{\ensuremath{\mathtt{hh_{15}}}}\\
16&{\ensuremath{\mathtt{hh_{16}}}}\\
17&{\ensuremath{\mathtt{hh_{17}}}}\\
18&{\ensuremath{\mathtt{hh_{18}}}}\\
19&{\ensuremath{\mathtt{hh_{19}}}}\\
20&{\ensuremath{\mathtt{NA'_{1,NA'_2,hh_20,sb'}}}}\\
21&{\ensuremath{\mathtt{heb',heb_{1}}}}\\
22&{\ensuremath{\mathtt{heb_{2}}}}\\
23&{\ensuremath{\mathtt{heb_{3}}}}\\
24&{\ensuremath{\mathtt{FS'_{1,NA'_3,NAS',NA_1,SC'}}}}\\
25&{\ensuremath{\mathtt{icp',icp_{1}}}}\\
26&{\ensuremath{\mathtt{icp_{2}}}}\\
27&{\ensuremath{\mathtt{icp_{3}}}}\\
28&{\ensuremath{\mathtt{icp_{4}}}}\\
29&{\ensuremath{\mathtt{icp_{5}}}}\\
30&{\ensuremath{\mathtt{icp_{6}}}}\\
31&{\ensuremath{\mathtt{icp_{7}}}}\\
32&{\ensuremath{\mathtt{icp_{8}}}}\\
33&{\ensuremath{\mathtt{icp_{9}}}}\\
34&{\ensuremath{\mathtt{icp_{10}}}}\\
35&{\ensuremath{\mathtt{icp_{11}}}}\\
36&{\ensuremath{\mathtt{icp_{12}}}}\\
37&{\ensuremath{\mathtt{icp_{13}}}}\\
38&{\ensuremath{\mathtt{icp_{14}}}}\\
39&{\ensuremath{\mathtt{FS'_{2,icp_15}}}}\\
40&{\ensuremath{\mathtt{dtm',dtm_{1}}}}\\
41&{\ensuremath{\mathtt{dtm_{2}}}}\\
42&{\ensuremath{\mathtt{dtm_{3}}}}\\
43&{\ensuremath{\mathtt{dtm_{4}}}}\\
44&{\ensuremath{\mathtt{dtm_{5}}}}\\
45&{\ensuremath{\mathtt{FS'_{3,FS_1}}}}\\
46&{\ensuremath{\mathtt{FS_{2}}}}\\
47&{\ensuremath{\mathtt{FS_{3}}}}\\