状態の例を適応させました（以下のコード）。私が知りたいのは、XをノードAのループに落とす方法、またはこのパスが「実行」されることによって排除されることを示す他の方法です。ありがとうございました。
\begin{figure}[ht!]
\centering
\tikzpicture[->,>=stealth',shorten >=1pt,auto,node distance=2.8cm,semithick]
\tikzstyle{every state}={fill=black!30, draw = none, text = white]
\node[state] (A) {$N_1$};
\node[state] (B) [right of = A] {$N_2$};
\node[state] (C) [below of = B] {$N_3$};
\node[state] (D) [left of = C] {$N_4$};
\path (A) edge [anchor=center,loop above] node {x} (A)
edge node {} (B)
edge node {} (C)
edge node {} (D);
\path (B) edge node {} (C)
edge node {} (D)
edge node {} (A);
\path (C) edge node {} (D)
edge node {} (A)
edge node {} (B);
\path (D) edge node {} (A)
edge node {} (B)
edge node {} (C);
\endtikzpicture
\caption{\label{fig:hop} Here is caption.}
\end{figure}