コード例 #1
0
ファイル: PetriNet.java プロジェクト: AnnabellKuldmaa/sm15
 public void clearPetrinet() {
   for (Place place : this.places) {
     place.setNumberOfTokens(0);
   }
   for (Transition transition : this.transitions) {
     transition.setEnabled(false);
   }
 }
コード例 #2
0
ファイル: PetriNet.java プロジェクト: AnnabellKuldmaa/sm15
 public void enableTransitions() {
   for (Transition transition : transitions) {
     Boolean enabled = true;
     for (Place inPlace : transition.getIncomingPlaces()) {
       if (inPlace.hasTokens() == false) enabled = false;
     }
     transition.setEnabled(enabled);
   }
 }