@Override public void loadMarking(M newMarking) { if (newMarking.getPetriNet() != this) return; if (this.marking.equals(newMarking)) return; this.marking.clear(); for (Map.Entry<P, Integer> entry : newMarking.entrySet()) { this.marking.put(entry.getKey(), entry.getValue()); } }