\documentclass[tikz,convert={outfile=\jobname.svg}]{standalone}

\usetikzlibrary{automata}
\usetikzlibrary{shapes.misc}

\begin{document}

\begin{tikzpicture}
\node[state] (a) at (0,0) {$A$};
\node[state] (b) at (2,0) {$B$};
\node[state] (c) at (4,0) {$C$};

\node at (7,0) {$\Longrightarrow$};

\node[state] (a') at (10,0) {$A'$};
\node[state] (c') at (12,0) {$C'$};

\draw[->,>=stealth]
  (a) edge[bend left] node[above] {$r_1$} (b)
  (b) edge[bend left] node[below] {$r_2$} (a)
      edge[bend left] node[above] {$r_3$} (c)
      edge[loop above] node[above] {$r_4$} (b)
  (c) edge[bend left] node[below] {$r_5$} (b)
      edge[loop right] node[right] {$r_6$} (c)
;

\node[draw=red, cross out, inner sep=1em] at (b) {};

\draw[->,>=stealth]
  (a') edge[bend left] node[above] {$r_1r_4^*r_3$} (c')
       edge[loop left] node[left]  {$r_1r_4^*r_2$} (a')
  (c') edge[bend left] node[below] {$r_5r_4^*r_2$} (a')
       edge[loop right] node[right] {$r_6 + (r_5r_4^*r_3)$} (c')
;
\end{tikzpicture}

\end{document}
