EXAMPLE: change how state label is accessed, given NetworkX-derived Automaton.
EXAMPLE: change how state label is accessed, given NetworkX-derived Automaton.

pombredanne/nTLP,pombredanne/nTLP,pombredanne/nTLP