public void clearPetrinet() { for (Place place : this.places) { place.setNumberOfTokens(0); } for (Transition transition : this.transitions) { transition.setEnabled(false); } }
public void enableTransitions() { for (Transition transition : transitions) { Boolean enabled = true; for (Place inPlace : transition.getIncomingPlaces()) { if (inPlace.hasTokens() == false) enabled = false; } transition.setEnabled(enabled); } }