@Override public int hashCode() { int result = component.hashCode(); result = 31 * result + petriNet.hashCode(); return result; }
@Override public int hashCode() { int result = component.hashCode(); result = 31 * result + petriNet.hashCode(); return result; }