/** @return the names of the petri nets that have changed */
public Set<String> getNetsChanged() {
Set<String> changed = new HashSet<>();
for (PetriNetController controller : netControllers.values()) {
if (controller.hasChanged()) {
changed.add(controller.getPetriNet().getNameValue());
}
}
return changed;
}
/** @return true if the current petri net has changed */
public boolean hasCurrentPetriNetChanged() {
PetriNetController activeController = getActivePetriNetController();
return activeController != null && activeController.hasChanged();
}
