diff --git a/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java b/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java index a97e3c5225680e0b04cc9d887136f5db81c5eafa..84234ea3c50bf37db240116b9e3fc645c60fe5e1 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java +++ b/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java @@ -16,13 +16,6 @@ public class SensoricsNode extends DiNeRosNode { @Override protected void nodeLoop() {} - @NotNull - private TransitionSelectionResult fireRandomEnabledTransition(List<Transition> enabledTransitions) { - FiringSelectionSuccess fsc = new FiringSelectionSuccess(); - fsc.setTransition(enabledTransitions.get(new Random().nextInt(enabledTransitions.size()))); - return fsc; - } - @Override protected TransitionSelectionResult onChange(List<Transition> enabledTransitions) { return enabledTransitions.size() == 0 ? diff --git a/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java b/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java index 9dc60a96bd14101c9ba968274367b1f10dce9a8b..f9fe15d88e177a3eaa01b7f2c2926aa296089199 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java +++ b/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java @@ -379,6 +379,13 @@ public abstract class DiNeRosNode extends AbstractNodeMain { return null; } + @NotNull + protected TransitionSelectionResult fireRandomEnabledTransition(List<Transition> enabledTransitions) { + FiringSelectionSuccess fsc = new FiringSelectionSuccess(); + fsc.setTransition(enabledTransitions.get(new Random().nextInt(enabledTransitions.size()))); + return fsc; + } + public boolean isServerInstancePlace(Place place) { return responsePlaceToInstance.containsKey(place); }