Class PNSimulatorConfig


  • public class PNSimulatorConfig
    extends java.lang.Object
    Configuration parameters for the simple simulation of (stochastic) Petri Nets. Used by PNSimulator.
    Author:
    Andreas Rogge-Solti
    • Constructor Detail

      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces,
                                 StochasticNet net)
      • PNSimulatorConfig

        public PNSimulatorConfig()
      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces)
      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces,
                                 StochasticNet.TimeUnit unitFactor,
                                 long seed)
      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces,
                                 StochasticNet.TimeUnit unitFactor,
                                 long seed,
                                 double arrivalRate)
      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces,
                                 StochasticNet.TimeUnit unitFactor,
                                 long seed,
                                 double arrivalRate,
                                 int maxEventsInOneTrace)
      • PNSimulatorConfig

        public PNSimulatorConfig​(long numberOfTraces,
                                 StochasticNet.TimeUnit unitFactor,
                                 long seed,
                                 double arrivalRate,
                                 int maxEventsInOneTrace,
                                 StochasticNet.ExecutionPolicy policy,
                                 java.lang.String logName)
        Parameters:
        numberOfTraces - the number of traces to generate by simulation.
        unitFactor - the time units factor represented in the stochastic distributions (1 = milliseconds, 1000 = seconds, 60.000=minutes...)
        seed - the seed for the pseudo-random generator (helps to generate the same results, if required)
        arrivalRate - the arrival rate lamda for the poisson distribution used to simulate the arriving process of new cases
        maxEventsInOneTrace - in order to avoid running into infinite loops, there is this variable that sets an upper limit.
        policy - the StochasticNet.ExecutionPolicy of the network, i.e., how to select the next transition (preselection/race), and how to deal with transitions that lose a race.
        logName - the name of the generated log.
    • Method Detail

      • isDeterministicBoundedStateSpaceExploration

        public boolean isDeterministicBoundedStateSpaceExploration()
      • setDeterministicBoundedStateSpaceExploration

        public void setDeterministicBoundedStateSpaceExploration​(boolean deterministicBoundedStateSpaceExploration)
      • isAllowUnbounded

        public boolean isAllowUnbounded()
      • setAllowUnbounded

        public void setAllowUnbounded​(boolean allowUnbounded)
      • setSeed

        public void setSeed​(long seed)
      • setSimulateTraceless

        public void setSimulateTraceless​(boolean simulateTraceLess)
      • setQuantile

        public void setQuantile​(double quantile)
      • getQuantile

        public double getQuantile()