예제 #1
0
  @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());
    }
  }