A \textit{labeled graph} is a six-element tuple $g= (V,E,L^v ,L^e ,\mu,\nu)$ where $V$ is a vertex set, $E$ is a edge set, both $\mu$ and $\nu$ are functions ...