public bool HasTransition(string stateLabel) { return (this.transitionStates.ContainsKey(stateLabel)); }