Class TransientMarkingProbability

java.lang.Object
org.oristool.simulator.rewards.BasicReward
org.oristool.simulator.stpn.TransientMarkingProbability
All Implemented Interfaces:
Reward, SequencerObserver

public final class TransientMarkingProbability extends BasicReward
Reward estimating the transient probability of a marking.
  • Constructor Details

    • TransientMarkingProbability

      public TransientMarkingProbability(Sequencer sequencer, RewardTime rewardTime, int samples, Marking marking)
      Builds a new instance for the given marking.
      Parameters:
      sequencer - simulator
      rewardTime - time abstraction (discrete or continuous)
      samples - number of time ticks
      marking - target marking
  • Method Details