Class StochasticLabelledDataPetrinetSemanticsDataUnaware

    • Constructor Detail

      • StochasticLabelledDataPetrinetSemanticsDataUnaware

        public StochasticLabelledDataPetrinetSemanticsDataUnaware​(StochasticLabelledDataPetriNet net)
    • Method Detail

      • getTransitionWeight

        public double getTransitionWeight​(int transition)
        Returns:
        the weight of the transition. This might depend on the state.
      • getTotalWeightOfEnabledTransitions

        public double getTotalWeightOfEnabledTransitions()
        Returns:
        the sum of the weight of the enabled transitions