fault_injection_async25_paper/graphics/tri_fork_possible.tex

30 lines
No EOL
1,004 B
TeX

%\definecolor{softred}{RGB}{219,90,81}
\begin{tikzpicture}
\sffamily
\def\ns{0.85 cm};
\tikzstyle{round}=[circle, draw, minimum width = \ns, minimum height=\ns]
\tikzstyle{fork}=[circle, fill, minimum size = 0.2cm, inner sep=0pt]
\node[round] (A) {A};
\node[fork, right=2cm of A] (F) {};
\node[round, right=2cm of F] (B) {B};
\node[round, below=1cm of B, fill=red] (C) {C};
\node[fork, left=2cm of C] (F2) {};
\node[round, below=1cm of C] (D) {D};
\draw[-] (A) -- (F);
\draw[-] (F) -- (B);
\draw[-] (F.center |- C.west) -- (C.west);
\draw[-] (F.center) -- (F.center |- D.west) -- (D.west);
\node at (A.east) [right, yshift=0.2cm] {\scriptsize outputs 1};
\node at (B.west) [left, yshift=0.2cm] {\scriptsize receives 1};
\node at (C.west) [left, yshift=0.2cm] {\scriptsize receives 0};
\node at (D.west) [left, yshift=0.2cm] {\scriptsize receives 1};
\node at (C.east) [right] {\scriptsize SET at C};
\end{tikzpicture}