@Override
public Set<T> getEnabledTransitionsAtMarking(M marking) {
Set<T> result = new HashSet<T>();
for (T t : this.getTransitions()) {
boolean flag = true;
for (P p : this.getPreset(t)) {
if (!marking.isMarked(p)) {
flag = false;
break;
}
}
if (flag) result.add(t);
}
return result;
}
